An almost general splitting theorem for modal logic
From MaRDI portal
Publication:809064
DOI10.1007/BF00370158zbMATH Open0732.03012MaRDI QIDQ809064FDOQ809064
Authors: Marcus Kracht 
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Cites Work
- Rings of sets
- Boolean Algebras with Operators. Part I
- Title not available (Why is that?)
- The lattice of modal logics: an algebraic investigation
- Equational Bases and Nonmodular Lattice Varieties
- Splitting lattices of logics
- An ascending chain of S4 logics
- Der Verband der normalen verzweigten Modallogiken
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- Logics containing K4. Part I
- Title not available (Why is that?)
- Splittings of a Lattice
Cited In (13)
- Frame based formulas for intermediate logics
- Splitting an operator: algebraic modularity results for logics with fixpoint semantics
- Semisimple varieties of modal algebras
- Splittings and the finite model property
- The structure of lattices of subframe logics
- Characteristic formulas over intermediate logics
- A splitting logic in NExt(KTB)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Solving the \$100 modal logic challenge
- Splitting in Relation Algebras
- Not every splitting Heyting or interior algebra is finitely presentable
- Canonical rules
- Even more about the lattice of tense logics
This page was built for publication: An almost general splitting theorem for modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809064)
