An almost general splitting theorem for modal logic
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.
scientific article; zbMATH DE number 4210106
scientific article