An almost general splitting theorem for modal logic

DOI10.1007/BF00370158MaRDI QIDQ809064zbMATH OpenFDO

Authors Marcus Kracht

Publication date 1990

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicalgebraic modeldynamic logicsplitting logicsplitting variety

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Splittings and the finite model property
• A splitting logic in NExt(KTB)
• Splittings in varieties of logic
• Splitting an operator: algebraic modularity results for logics with fixpoint semantics
• All splitting logics in the lattice NEXT(KTB.3'A)

Cites work

• scientific article; zbMATH DE number 3650525 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• An ascending chain of S4 logics
• Boolean Algebras with Operators. Part I
• Der Verband der normalen verzweigten Modallogiken
• Equational Bases and Nonmodular Lattice Varieties
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Logics containing K4. Part I
• Rings of sets
• Splitting lattices of logics
• Splittings of a Lattice
• The lattice of modal logics: an algebraic investigation

Cited in

(13)

• Solving the \$100 modal logic challenge
• Even more about the lattice of tense logics
• A splitting logic in NExt(KTB)
• Characteristic formulas over intermediate logics
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Frame based formulas for intermediate logics
• Canonical rules
• Splittings and the finite model property
• Splitting an operator: algebraic modularity results for logics with fixpoint semantics
• The structure of lattices of subframe logics
• Splitting in Relation Algebras
• Semisimple varieties of modal algebras
• Not every splitting Heyting or interior algebra is finitely presentable

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)