THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE

DOI10.1017/S1755020309990335zbMath1197.03017MaRDI QIDQ3550704

David Gabelaia, Leo Esakia, Guram Bezhanishvili

Publication date: 1 April 2010

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

zbMATH Keywords

Stone spaceGLderivative operatorK4K4Gscattered topologytopological semantics of modal logic

Mathematics Subject Classification ID

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

Related Items (6)

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 ⋮ Finite model property in weakly transitive tense logics ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ More on \(d\)-logics of subspaces of the rational numbers

Cites Work

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

This page was built for publication: THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE