Article citationsMore >>

G. Mints, T. Zhang. A proof of topological completeness of S4 in (0,1), Annals of Pure and Applied Logic 133 (2005) 231-245.

has been cited by the following article:

Article

The Relationship between the Topological Properties and Common Modal Logics

1Department of Mathematics, California State University, Fresno


Journal of Mathematical Sciences and Applications. 2016, Vol. 4 No. 1, 29-33
DOI: 10.12691/jmsa-4-1-5
Copyright © 2016 Science and Education Publishing

Cite this paper:
Maria Nogin, 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.

Correspondence to: Maria  Nogin, Department of Mathematics, California State University, Fresno. Email: mnogin@csufresno.edu

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