Abstract
Given a normal (multi-)modal logic Θ a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of Θ. This is a substantial generalization of Rautenberg [10] and [11] in which Θ is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of K. Although we firmly believe it to be true, we have not been able to prove that if a logic Λ splits the lattice of extensions of Θ then Λ is the logic of an algebra finitely presentable over Θ; in this respect our result remains partial.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
G. Birkhoff, Rings of sets, Duke Mathematical Journal 3 (1937).
W. Blok, On the degree of incompleteness in modal logics and the covering relation in the lattice of modal logics, Report 78-07, Dept. of Math., University of Amsterdam, 1978.
W. Blok, The lattice of normal modal logics, Journal of Symbolic Logic 45 (1980).
K. Fine, Logics containing K4, Part I, Journal of Symbolic Logic 39 (1974).
K. Fine, An ascending chain of S4 logics, Theoria 40 (1974).
B. Jónsson and A. Tarski, Boolean algebras with operators, Am. Journ. of Math. 73 (1951).
D. Harel, Dynamic logic, in: D. M. Gabbay, F. Guenthner: Handbook of Philosophical Logic, Vol. 2, Reidel, Dordrecht, 1984.
M. Kracht, Splittings in den Varietäten der modalen und dynamischen Logik, Diplomarbeit, FU Berlin, 1986.
R. McKenzie, Equational bases and nonmodular lattice varieties, Trans. Am. Math. Soc. 174 (1972).
W. Rautenberg, Der Verband der normalen verzweigten Modallogiken, Math. Z. 156 (1977).
W. Rautenberg, Splitting lattices of logics, Archiv Math. Logik 20 (1980).
W. Rautenberg, Klassische und nichtklassische Aussagenlogik, Wiesbaden, 1979.
P. Whitman, Splittings of lattices, Am. Journ. of Math. 65 (1943).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kracht, M. An almost general splitting theorem for modal logic. Studia Logica 49, 455–470 (1990). https://doi.org/10.1007/BF00370158
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370158