کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778266 1633612 2017 38 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله 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
چکیده انگلیسی
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
نویسندگان
,