سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

Kripke Models Extension For Epistemic Logic

Publish Year: 1393
Type: Conference paper
Language: English
View: 907

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

Export:

Link to this Paper:

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 لینک شده اند :
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 ...
نمایش کامل مراجع