An almost general splitting theorem for modal logic
type: Item
instance of: scholarly article
title: An almost general splitting theorem for modal logic
zbMATH Open document ID: 0732.03012
DOI: 10.1007/BF00370158
author: Marcus Kracht
published in: Studia Logica
publication date: 1990-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06E25
zbMATH DE Number: 4210106
zbMATH Keywords: splitting logic
zbMATH Keywords: dynamic logic
zbMATH Keywords: splitting variety
zbMATH Keywords: modal logic
zbMATH Keywords: algebraic model
reviewed by: Leo Esakia
MaRDI profile type: Publication
cites work: Rings of sets
cites work: Q3208624
cites work: The lattice of modal logics: an algebraic investigation
cites work: Logics containing K4. Part I
cites work: An ascending chain of S4 logics
cites work: Boolean Algebras with Operators. Part I
cites work: Handbook of philosophical logic. Volume II: Extensions of classical logic
cites work: Equational Bases and Nonmodular Lattice Varieties
cites work: Der Verband der normalen verzweigten Modallogiken
cites work: Splitting lattices of logics
cites work: Q3858239
cites work: Splittings of a Lattice
description: scientific article; zbMATH DE number 4210106