Relational and neighborhood semantics for intuitionistic modal logic

• Autorzy: Kojima K.
• Języki publikacji: EN

Abstrakty

EN

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.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2012
• Tom: Vol. 47
• Strony: 87--113
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Kojima K.

• Department of Intelligence Science and Technology, Graduate School of Informatics, Kyoto University, Kyoto 606-8501 Japan,

Bibliografia

• [1] N. Alechina, M. Mendler, V. de Paiva, and E. Ritter, Categorical and Kripke semantics for constructive S4 modal logic. In Laurent Fribourg, editor, Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings, volume 2142 of Lecture Notes in Computer Science, Springer Verlag, 2001, pp. 292–307.
• [2] G. Aucher. An internal version of epistemic logic, Studia Logica 94 (2010), pp.1–22.
• [3] P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2002.
• [4] B. F. Chellas, Modal Logic: An Introduction, Cambridge University Press, 1980.
• [5] W. B. Ewald, Intuitionistic tense and modal logic, Journal of Symbolic Logic 51:1 (1986), pp. 166–179.
• [6] M. Fairtlough and M. Mendler, Propositional lax logic, Information and Computation 137:1 (1997), pp. 1–33.
• [7] O. Gasquet and A. Herzig, Proof theory of modal logic, chapter From classical to normal modal logics, pp. 293–311, Kluwer, Dordrecht, 1996.
• [8] B. P. Hilken, Topological duality for intuitionistic modal algebras, Journal of Pure and Applied Algebra 148 (2000), pp. 171–189.
• [9] S. Kobayashi, Monad as modality, Theoretical Computer Science 175 (1997), pp. 29–74.
• [10] M. Kracht and F. Wolter, Normal monomodal logics can simulate all others, The Journal of Symbolic Logic 641 (1999), pp. 99–138.
• [11] E. Pacuit, Neighborhood semantics for modal logic, Notes of a course on neighborhood structures for modal logic: http://staff.science.uva.nl/~epacuit/nbhd_esslli.html, August 2007.
• [12] G. Plotkin and C. Stirling, A framework for intuitionistic modal logics, In Joseph Y.Halpern, editor, Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, pp. 399–406. Morgan Kaufmann Publishers Inc., 1986.
• [13] A. K. Simpson, The Proof Theory and Semantics of Intuitionistic Modal Logic, PhD thesis, University of Edinburgh, 1994.
• [14] V. H. Sotirov, Modal theories with intuitionistic logic In: Mathematical Logic,Proceedings of the Conference on Mathematical Logic, Dedicated to the Memory of A. A. Markov (1903-1979), Sofia, September 22-23, 1980, pp. 139–171, Sofia, 1984.
• [15] D. Wijesekera, Constructive modal logics I, Annals of Pure and Applied Logic 50 (1990), pp. 271–301.
• [16] F.Wolter and M. Zakharyaschev, On the relation between intuitionistic and classical modal logics, Algebra and Logic 36 (1997), pp. 73–92.