Kripke Models Extension For Epistemic Logic
Publish Year: 1393
Type: Conference paper
Language: English
View: 907
متن کامل این Paper منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل Paper (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دانلود نمایند.
- Certificate
- I'm the author of the paper
Export:
Document National Code:
SRCMSA02_033
Index date: 18 November 2014
Kripke Models Extension For Epistemic Logic abstract
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 Models Extension For Epistemic Logic Keywords:
Kripke Models Extension For Epistemic Logic authors
Reza Babaei
Mathematical M. Sc Student, Damghan University and School ofMathematics Computer Assistant Professor, University Damghan
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :