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, Unnamed Item, Modal Logics that Bound the Circumference of Transitive Frames, Modal Logics of Some Hereditarily Irresolvable Spaces, On some topological properties in the class of Alexandroff spaces, Topological Interpretations of Provability Logic, TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES, Modal logic of generalized separated topological spaces, 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, Structural and numerical studies of some topological properties for Alexandroff spaces, A topological approach to full belief, The polytopologies of transfinite provability logic, Tree-like constructions in topology and modal logic, Finite model property in weakly transitive tense logics, A sound and complete axiomatization for Dynamic Topological Logic, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item