Modal logics of Stone spaces

DOI10.1007/s11083-011-9224-2zbMath1259.03030OpenAlexW2043639409MaRDI QIDQ438813

John Harding, Guram Bezhanishvili

Publication date: 31 July 2012

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-011-9224-2

zbMATH Keywords

modal logicBoolean algebraintuitionistic logicStone spaceintermediate logicmetrizable spaceextremally disconnected space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Modal logic (including the logic of norms) (03B45) Stone spaces (Boolean spaces) and related structures (06E15) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Logical aspects of Boolean algebras (03G05) Intermediate logics (03B55)

Related Items (7)

COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω ⋮ Tree-like constructions in topology and modal logic ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES ⋮ MODAL LOGICS OF METRIC SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of S4 with respect to the real line: revisited
• Scattered and hereditarily irresolvable spaces in modal logic
• The modal logic of \({\beta(\mathbb{N})}\)
• Minimally generated Boolean algebras
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Euclidean hierarchy in modal logic
• The algebra of topology
• A problem of set-theoretic topology
• Reasoning About Space: The Modal Way
• The Theory of Representation for Boolean Algebras

This page was built for publication: Modal logics of Stone spaces