Graduate studies at Western
Studia Logica 81 (3):325 - 355 (2005)
|Abstract||We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modally definable. It is demonstrated that the d-semantics is more expressive than the C-semantics. In particular, we show that the d-logics of the six classes of spaces considered in the paper are pairwise distinct, while the C-logics of some of them coincide.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Dmitry Sustretov (2009). Hybrid Logics of Separation Axioms. Journal of Logic, Language and Information 18 (4):541-558.
J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac (2006). Multimodal Logics of Products of Topologies. Studia Logica 84 (3):369 - 392.
J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac (2006). Multimo Dal Logics of Products of Topologies. Studia Logica 84 (3).
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
Katalin Bimbó (2007). Functorial Duality for Ortholattices and de Morgan Lattices. Logica Universalis 1 (2):311-333.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2010). The Modal Logic of Stone Spaces: Diamond as Derivative. Review of Symbolic Logic 3 (1):26-40.
Added to index2009-01-28
Total downloads17 ( #78,173 of 738,476 )
Recent downloads (6 months)1 ( #61,778 of 738,476 )
How can I increase my downloads?