دورية أكاديمية
Relational and Neighborhood Semantics for Intuitionistic Modal Logic
| العنوان: | Relational and Neighborhood Semantics for Intuitionistic Modal Logic |
|---|---|
| المؤلفون: | Kojima, Kensuke |
| المصدر: | Reports on Mathematical Logic; Vol 47 (2012); 87-113 ; 2084-2589 ; 0137-2904 |
| بيانات النشر: | Reports on Mathematical Logic |
| سنة النشر: | 2015 |
| المجموعة: | Portal Czasopism Naukowych (E-Journals) |
| الوصف: | We investigate semantics for an intuitionistic modal logic in which the “possibility” modality does not distribute over disjunction. In particular, the main aim of this paper is to study such intuitionistic modal logic as a variant of classical non-normal modal logic. We first give a neighborhood semantics together with a sound and complete axiomatization. Next, we study relationships between our approach and the relational (Kripke-style) semantics considered in the literature. It is shown that a relational model can be represented as a neighborhood model, and the converse direction holds under a slight restriction. Also, by considering degenerate cases of neighborhood and relational semantics, we demonstrate that a certain classical monotone modal logic has relational semantics, and can be embedded into a classical normal bimodal logic. |
| نوع الوثيقة: | article in journal/newspaper review |
| وصف الملف: | application/pdf |
| اللغة: | Polish |
| العلاقة: | http://www.ejournals.eu/sj/index.php/rml/article/view/2897/2898Test; http://www.ejournals.eu/sj/index.php/rml/article/view/2897Test |
| الإتاحة: | http://www.ejournals.eu/sj/index.php/rml/article/view/2897Test |
| حقوق: | ##submission.copyrightStatement## |
| رقم الانضمام: | edsbas.B61FC2D0 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |