The Relationship between the Topological Properties and Common Modal Logics

Maria Nogin^1, and Bing Xu¹

¹Department of Mathematics, California State University, Fresno

Cite this paper:
Maria Nogin and Bing Xu. The Relationship between the Topological Properties and Common Modal Logics. Journal of Mathematical Sciences and Applications. 2016; 4(1):29-33. doi: 10.12691/jmsa-4-1-5

Abstract

A modal language is the language of the classical logic extended by additional operator(s), e.g. . Modal logics have a variety of interpretations and applications in different sciences, and depending on the context, different axioms involving may be assumed. In topological interpretations, the operator interpreted as interior. It is well known that the modal logic S4 is sound and complete over all topological spaces. In this paper we reverse the question. Given a set X and any interpretation of in X that satisfies a given subset of the axioms of S4, we determine which topological properties must be possessed by the image of the interpretation of .

Keywords:
modal logic topological space

This work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

References:

[1]	W. Carnielli and C. Pizzi. Modalities and multimodalities. Springer, 2008.
[2]	M. Fitting and R. L. Mendelsohn. First-order modal logic. Kluwer Academic Publishers, Boston, 1998.
[3]	J. C. C. McKinsey and A. Tarski. The algebra of topology, Ann. of Math.(2) 45 (1944) 141-191.
[4]	G. Mints. A completeness proof for propositional S4 in cantor space, in: E. Orlowska (Ed.), Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag, Heidelberg, 1998.
[5]	G. Mints, T. Zhang. A proof of topological completeness of S4 in (0,1), Annals of Pure and Applied Logic 133 (2005) 231-245.
[6]	M. Aiello, J. van Bentehm, G. Bezhanishvili. Reasoning about space: the modal way, J. Logic Comput. 13(6) (2003) 889-920.
[7]	G. Bezhanishvili and M. Gehrke. Completeness of S4 with respect to the real line: revisited, Annals of Pure and Applied Logic 131 (2005) 287-301.