Some results on modal axiomatization and definability for topological spaces

DOI10.1007/s11225-005-4648-6zbMath1096.03016MaRDI QIDQ817694

Guram Bezhanishvili, David Gabelaia, Leo Esakia

Publication date: 17 March 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-4648-6

zbMATH Keywords

modal logic; submaximal spaces; topological semantics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

54G99: Peculiar topological spaces

Related Items

KRULL DIMENSION IN MODAL LOGIC, TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3, Topological Interpretations of Provability Logic, Matching topological and frame products of modal logics, Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP, Foreword to the special issue dedicated to the memory of Leo Esakia, Spatial logic of tangled closure operators and modal mu-calculus, Simple weakly transitive modal algebras, The d-logic of the rational numbers: a fruitful construction, Submaximal and door compactifications, Scattered and hereditarily irresolvable spaces in modal logic, A canonical topological model for extensions of K4, Modal languages for topology: expressivity and definability, More on \(d\)-logics of subspaces of the rational numbers, A topological approach to full belief, The polytopologies of transfinite provability logic, A sound and complete axiomatization for Dynamic Topological Logic, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Applications of maximal topologies
• Multimodal logics of products of topologies
• \(\alpha\)-scattered spaces
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Euclidean hierarchy in modal logic
• On submaximal spaces
• On some classes of nearly open sets
• The algebra of topology
• A problem of set-theoretic topology
• Infinitary combinatorics and modal logic
• A ModalWalk Through Space
• Five critical modal systems
• Reasoning About Space: The Modal Way
• The Lattice of Topologies: Structure and Complementation
• On Hewitt's τ-maximal spaces