Connected modal logics

DOI10.1007/S00153-010-0214-7MaRDI QIDQ535140zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, David Gabelaia

Publication date 11 May 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-010-0214-7

zbMATH Keywords

topologymodal logicconnectednessclosure algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Topological completeness of logics above \(\mathbf{S4}\)
• A first approach to abstract modal logics
• scientific article; zbMATH DE number 1302673
• scientific article; zbMATH DE number 3902629
• Connexive modal logic based on positive S4
• A poly-connexive logic
• Reasoning About Space: The Modal Way
• An explicit basis for admissible rules of modal logics of finite width
• Classically complete modal relevant logics
• Modalities as interactions between the classical and the intuitionistic logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• An ascending chain of S4 logics
• Boolean Algebras with Operators. Part I
• Completeness of S4 with respect to the real line: revisited
• Euclidean hierarchy in modal logic
• Five critical modal systems
• Modal logic
• Order-compactifications of totally ordered spaces: Revisited
• Reasoning About Space: The Modal Way
• Splitting lattices of logics
• The algebra of topology
• The structure of lattices of subframe logics
• Topo-canonical completions of closure algebras and Heyting algebras
• « Everywhere » and « here »

Cited in

(11)

• The semantic characterization of modal logical connectives
• Losing connection: the modal logic of definable link deletion
• Dialogical connexive logic
• Relating semantics for connexive logic
• Logical connectives for two-state semantics
• Topological completeness of logics above \(\mathbf{S4}\)
• Euclidean hierarchy in modal logic
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
• scientific article; zbMATH DE number 6290320 (Why is no real title available?)
• POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION

This page was built for publication: Connected modal logics

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