Connected modal logics
From MaRDI portal
Publication:535140
DOI10.1007/S00153-010-0214-7zbMATH Open1241.03018OpenAlexW2136619669MaRDI QIDQ535140FDOQ535140
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
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
Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)
Cites Work
- Modal logic
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Order-compactifications of totally ordered spaces: Revisited
- Topo-canonical completions of closure algebras and Heyting algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The algebra of topology
- Title not available (Why is that?)
- Reasoning About Space: The Modal Way
- « Everywhere » and « here »
- The structure of lattices of subframe logics
- Completeness of S4 with respect to the real line: revisited
- Euclidean hierarchy in modal logic
- Splitting lattices of logics
- Five critical modal systems
- An ascending chain of S4 logics
Cited In (11)
- Losing connection: the modal logic of definable link deletion
- The semantic characterization of modal logical connectives
- 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
- Title not available (Why is that?)
- 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)
