An almost general splitting theorem for modal logic

DOI10.1007/BF00370158zbMATH Open0732.03012MaRDI QIDQ809064FDOQ809064

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Rings of sets
• Boolean Algebras with Operators. Part I
• 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
• Splittings of a Lattice

Cited In (11)

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