Connected modal logics

DOI10.1007/s00153-010-0214-7zbMath1241.03018OpenAlexW2136619669MaRDI QIDQ535140

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

connectednessmodal logictopologyclosure algebra

Mathematics Subject Classification ID

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

Related Items (3)

POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4

Cites Work

• Order-compactifications of totally ordered spaces: Revisited
• Completeness of S4 with respect to the real line: revisited
• The structure of lattices of subframe logics
• Euclidean hierarchy in modal logic
• Topo-canonical completions of closure algebras and Heyting algebras
• The algebra of topology
• Splitting lattices of logics
• An ascending chain of S4 logics
• Five critical modal systems
• « Everywhere » and « here »
• Reasoning About Space: The Modal Way
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Connected modal logics