Kripke Models Extension For Epistemic Logic

  • سال انتشار: 1393
  • محل انتشار: دومین همایش منطقه ای علوم ریاضی و کاربردها
  • کد COI اختصاصی: SRCMSA02_033
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 869
دانلود فایل این مقاله

نویسندگان

Reza Babaei

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

Mostafa Zaare Khormizi

چکیده

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 به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.