Modal logics of Stone spaces

DOI10.1007/S11083-011-9224-2MaRDI QIDQ438813zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, John Harding

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

Boolean algebraextremally disconnected spaceintermediate logicintuitionistic logicmetrizable spacemodal logicStone space

Mathematics Subject Classification ID

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

Review text

A Stone space is an image of a Boolean algebra under Stone duality. Using their previous results, the authors characterize modal propositional logics of Stone spaces. For a metrizable Stone space \(X\) its logic is S4 if \(X\) is not weakly scattered, and is S4 or S4.\({\mathrm{Grz}_n}\) for some \(n>1\) if \(X\) is scattered. Similar results are obtained for intermediate logics.

Recommendations

• The modal logic of Stone spaces: diamond as derivative
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• The modal logic of \({\beta(\mathbb{N})}\)
• The modal logic of continuous functions on Cantor space
• Modal logics of metric spaces

Cites work

• A problem of set-theoretic topology
• Completeness of S4 with respect to the real line: revisited
• Euclidean hierarchy in modal logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 3467030 (Why is no real title available?)
• scientific article; zbMATH DE number 3222594 (Why is no real title available?)
• scientific article; zbMATH DE number 3357434 (Why is no real title available?)
• scientific article; zbMATH DE number 3027977 (Why is no real title available?)
• scientific article; zbMATH DE number 3098540 (Why is no real title available?)
• Minimally generated Boolean algebras
• Modal logic
• Reasoning About Space: The Modal Way
• Scattered and hereditarily irresolvable spaces in modal logic
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• The algebra of topology
• The modal logic of \({\beta(\mathbb{N})}\)
• The Theory of Representation for Boolean Algebras

Cited in

(15)

• The modal logic of \({\beta(\mathbb{N})}\)
• On modal logics arising from scattered locally compact Hausdorff spaces
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
• Tree-like constructions in topology and modal logic
• scientific article; zbMATH DE number 4143974 (Why is no real title available?)
• The modal logic of Stone spaces: diamond as derivative
• scientific article; zbMATH DE number 1941925 (Why is no real title available?)
• TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
• The McKinsey-Tarski theorem for locally compact ordered spaces
• COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
• Modal logics of metric spaces
• Characterization of Boolean topological logics. Short form: Boolean topological logics
• THE BAIRE CLOSURE AND ITS LOGIC
• Topological product of modal logics with the McKinsey axiom
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q438813)