|Abstract||The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be used to prove a completeness theorem for S4.1. Further, it is shown that the McKinsey algebra MKX of a space X endoewed with an alpha-topologiy satisfies Esakia's GRZ axiom.|
|Keywords||Modal logic Topological models of S4, S4.1 McKinsey axiom Topological Boundary Completeness theorem|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Steve Awodey & Kohei Kishida, Topology and Modality: The Topological Interpretation of First-Order Modal Logic.
S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Bronisław Tembrowski (1989). B-Varieties with Normal Free Algebras. Studia Logica 48 (4):555 - 564.
Andrzej W. Jankowski (1986). Some Modifications of Scott's Theorem on Injective Spaces. Studia Logica 45 (2):155 - 166.
Lawrence P. Belluce & Antonio Di Nola (2005). Frames and MV-Algebras. Studia Logica 81 (3):357 - 385.
Torsten Hahmann & Michael Grüninger (2013). Complementation in Representable Theories of Region-Based Space. Notre Dame Journal of Formal Logic 54 (2):177-214.
Jörg Flum & Juan Carlos Martinez (1988). On Topological Spaces Equivalent to Ordinals. Journal of Symbolic Logic 53 (3):785-795.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Bronisław Tembrowski (1986). Q-Ultrafilters and Normal Ultrafilters in B-Algebras. Studia Logica 45 (2):167 - 179.
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
Christopher Steinsvold (2010). A Canonical Topological Model for Extensions of K. Studia Logica 94 (3).
Added to index2012-10-19
Total downloads42 ( #27,062 of 549,122 )
Recent downloads (6 months)22 ( #2,462 of 549,122 )
How can I increase my downloads?