Kripke Models Extension For Epistemic Logic
- سال انتشار: 1393
- محل انتشار: دومین همایش منطقه ای علوم ریاضی و کاربردها
- کد COI اختصاصی: SRCMSA02_033
- زبان مقاله: انگلیسی
- تعداد مشاهده: 869
نویسندگان
Mathematical M. Sc Student, Damghan University and School ofMathematics Computer Assistant Professor, University Damghan
چکیده
There are several ways for de ning the notion submodelfor Kripke models of intuitionistic rst-order logic. In our approach aKripke model A is a submodel of a Kripke model B if they have thesame frame and for each two corresponding worlds A and B of them,A is a subset of B and forcing of atomic formulas with parametersin the smaller one, in A and B, are the same. In this case, B is calledan extension of A.In this paper we de ne a suitable version of the notion of homomor-phism for Kripke models of intuitionistic rst-order logic and character-ize theories that are preserved under inverse images of homomorphisms.Moreover, we de ne a notion of union of chain for Kripke models andde ne a class of formulas that is preserved in unions of chains.کلیدواژه ها
Kripke model, intuitionistic logic, submodel, union ofchainمقالات مرتبط جدید
- بررسی تاثیر نانو ذرات سیلیکون کربید در میزان جذب داروهای سرطانی
- ارایه مدلی جدید برای ارزیابی مزایای پاسخگویی بار در بهبود رزرو و پوشش عدم قطعیت منابعتجدیدپذیر یک نیروگاه مجازی
- کاربرد کنترل هوشمند عملکرد دو موتور القایی موازی تغذیه از یک اینورتر بکار رفته در قوای حرکتیمترو بر اساس الگورریتم بهینه سازی توده ذرات
- طرح پویای تامین خودکار منابع برای سرویس های اینترنت اشیا در محیط رایانش مه با تکنیک یادگیری همبسته
- کنترل گشتاور مستقیم بهینه دو موتور القایی موازی با تغذیه از یک اینورتر بر اساس الگورریتم عقاب
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.