Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces

Maria Nogin and Bing Xu

International Journal of Mathematics and Mathematical Sciences, 2016, vol. 2016, 1-3

Abstract:

In this paper we consider the topological interpretations of , the classical logic extended by a “box†operator interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes.

Date: 2016
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/IJMMS/2016/9163014.pdf (application/pdf)
http://downloads.hindawi.com/journals/IJMMS/2016/9163014.xml (text/xml)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hin:jijmms:9163014

DOI: 10.1155/2016/9163014

Access Statistics for this article

More articles in International Journal of Mathematics and Mathematical Sciences from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem ().