Spectral and T _0-spaces in d-semantics

DOI10.1007/978-3-642-22303-7_2MaRDI QIDQ3019967zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Leo Esakia, David Gabelaia

Publication date 29 July 2011

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22303-7_2

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Recommendations

• Some results on modal axiomatization and definability for topological spaces
• The modal logic of Stone spaces: diamond as derivative
• Modal logics of metric spaces
• The d-logic of the real line
• More on \(d\)-logics of subspaces of the rational numbers

Cited in

(15)

• More on \(d\)-logics of subspaces of the rational numbers
• A topological approach to full belief
• Finite model property in weakly transitive tense logics
• Alternative semantics for Visser's propositional logics
• The modal logic of Stone spaces: diamond as derivative
• Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP
• Foreword to the special issue dedicated to the memory of Leo Esakia
• Peritopological spaces and bisimulations
• Modal logic of generalized separated topological spaces
• The McKinsey axiom on weakly transitive frames
• Some completeness results in derivational modal logic
• The topological mu-calculus: completeness and decidability
• Finite model property of pretransitive analogues of (w)K4 and GL
• Stable canonical rules and formulas for pre-transitive logics via definable filtration
• Some results on modal axiomatization and definability for topological spaces

This page was built for publication: Spectral and \(T _{0}\)-spaces in d-semantics

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