THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
From MaRDI portal
Publication:3550704
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)
Stone space; GL; derivative operator; K4; K4G; scattered topology; topological semantics of modal logic
03B45: Modal logic (including the logic of norms)
54A05: Topological spaces and generalizations (closure spaces, etc.)
Related Items
Modal logic of generalized separated topological spaces, Foreword to the special issue dedicated to the memory of Leo Esakia, The d-logic of the rational numbers: a fruitful construction, More on \(d\)-logics of subspaces of the rational numbers, Finite model property in weakly transitive tense logics
Cites Work