کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5778266 | 1633612 | 2017 | 38 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: On expressive power of basic modal intuitionistic logic as a fragment of classical FOL On expressive power of basic modal intuitionistic logic as a fragment of classical FOL](/preview/png/5778266.png)
چکیده انگلیسی
The modal characterization theorem by J. van Benthem characterizes classical modal logic as the bisimulation invariant fragment of first-order logic. In this paper, we prove a similar characterization theorem for intuitionistic modal logic. For this purpose we introduce the notion of modal asimulation as an analogue of bisimulations. The paper treats four different fragments of first-order logic induced by their respective versions of Kripke-style semantics for modal intuitionistic logic. It is shown further that this characterization can be easily carried over to arbitrary first-order definable subclasses of classical first-order models.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 21, May 2017, Pages 57-90
Journal: Journal of Applied Logic - Volume 21, May 2017, Pages 57-90
نویسندگان
Grigory K. Olkhovikov,