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)

Full work available at URL https://doi.org/10.1007/BF00370158

zbMATH Keywords

algebraic modeldynamic logicmodal 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)

Review text

The idea of a splitting in modal logic is this: given a logic L, is there a logic L/A \((=\) the splitting of L by the algebraic model A) whose models are all the L-models that omit A \((=\) the variety they generate does not contain A). The purpose of this paper is to present an ``almost general characterization of all algebras which split L for an arbitrary normal modal logic without any assumptions of transitivity. The author allows the language to have more than one modal operator, and also the splitting algebra to be infinite.

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

• 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
• scientific article; zbMATH DE number 3650525 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• 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)

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

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)