An almost general splitting theorem for modal logic

DOI10.1007/BF00370158zbMath0732.03012MaRDI QIDQ809064

Marcus Kracht

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicdynamic logicalgebraic modelsplitting 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)

Related Items (11)

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Splittings and the finite model property ⋮ The structure of lattices of subframe logics ⋮ Semisimple varieties of modal algebras ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Even more about the lattice of tense logics ⋮ A splitting logic in NExt(KTB) ⋮ Frame based formulas for intermediate logics ⋮ Solving the \$100 modal logic challenge ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Canonical rules

Cites Work

• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Rings of sets
• The lattice of modal logics: an algebraic investigation
• Splitting lattices of logics
• An ascending chain of S4 logics
• Logics containing K4. Part I
• Equational Bases and Nonmodular Lattice Varieties
• Boolean Algebras with Operators. Part I
• Splittings of a Lattice

This page was built for publication: An almost general splitting theorem for modal logic