References
Blok, W.: Varieties of interior algebras. Thesis, Amsterdam 1976.
Blok, W.: The lattice of modal logics. Bull. Sec. Logic6, 112–115 (1977).
Fine, K.: An incomplete logic containingS4. Theoria40, 23–29 (1974).
Jankov, V.A.: The construction of a sequence of strongly, independent superintuitionistic propositional calculi. Dokl.9, 1203–1204 (1968).
Jónsson, B.: Algebras whose congruence lattices are distributive. Math. Scand.21, 110–121 (1967).
Jónsson, B., Tarski, A.: Boolean algebras with operators. Am. J. Math.73, 891–939 (1951).
Makinson, D.: Some embedding theorems for modal logic. Notre Dame J. Form. Logic2, 252–254 (1971).
McKenzie, R.: Equational basis and non-modular lattice varieties. Trans. Am. Math. Soc.174, 1–43 (1972).
Rautenberg, W.: The lattice of normal modal logics. Bull. Sec. Logic6/4, 193–201 (1977).
Rautenberg, W.: Der Verband der normalen verzweigten Modallogiken. Math. Z.156, 123–140 (1977).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rautenberg, W. Splitting lattices of logics. Arch math Logik 20, 155–159 (1980). https://doi.org/10.1007/BF02021134
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02021134