Kripke Models Extension For Epistemic Logic

سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 855

متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

SRCMSA02_033

تاریخ نمایه سازی: 27 آبان 1393

چکیده مقاله:

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.

نویسندگان

Reza Babaei

Mathematical M. Sc Student, Damghan University and School ofMathematics Computer Assistant Professor, University Damghan

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • D. van Dalen, Logic and Structure (Springer, 1997). ...
  • M. Moniri, _ Zaare, Preservation theorens foc Kripke nodels. Math. ...
  • :3. M. Moniri, _ Zaare, Homomorphis _ and clains of ...
  • نمایش کامل مراجع