The modal logic of Stone spaces: diamond as derivative

DOI10.1017/S1755020309990335MaRDI QIDQ3550704zbMATH OpenFDO

Authors Guram Bezhanishvili, Leo Esakia, David Gabelaia

Publication date 1 April 2010

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020309990335

zbMATH Keywords

derivative operatorGLK4K4Gscattered topologyStone spacetopological semantics of modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• Modal logics of Stone spaces
• Some results on modal axiomatization and definability for topological spaces
• On modal logics arising from scattered locally compact Hausdorff spaces
• The modal logic of \({\beta(\mathbb{N})}\)
• Spectral and \(T _{0}\)-spaces in d-semantics

Cites work

• Intuitionistic logic and modality via topology
• Metrizable compactification of \(\omega\) is unique
• Reasoning About Space: The Modal Way
• Some results on modal axiomatization and definability for topological spaces
• The algebra of topology

Cited in

(22)

• The modal logic of \({\beta(\mathbb{N})}\)
• On modal logics arising from scattered locally compact Hausdorff spaces
• More on \(d\)-logics of subspaces of the rational numbers
• Finite model property in weakly transitive tense logics
• K4.Grz and hereditarily irresolvable spaces
• Spectral and \(T _{0}\)-spaces in d-semantics
• scientific article; zbMATH DE number 4143974 (Why is no real title available?)
• Modal logics of Stone spaces
• Foreword to the special issue dedicated to the memory of Leo Esakia
• Krull dimension in modal logic
• The McKinsey-Tarski theorem for locally compact ordered spaces
• Modal Logics of Some Hereditarily Irresolvable Spaces
• COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
• Modal logics of metric spaces
• Derivational modal logics with the difference modality
• TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES
• Modal logic of generalized separated topological spaces
• The d-logic of the rational numbers: a fruitful construction
• The introduction of topology into analytic philosophy: two movements and a coda
• The McKinsey axiom on weakly transitive frames
• Some results on modal axiomatization and definability for topological spaces
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces

This page was built for publication: The modal logic of Stone spaces: diamond as derivative

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