Literature cited
E. J. Lemmon, “Algebraic semantics for modal logics. I,” J. Symbolic Logic,31, No. 1, 46–65 (1966).
L. Esakia and V. Meskhi, “Five critical modal systems,” Theoria,43, No. 1, 52–60 (1977).
L. L. Maksimova, “Pretabular extensions of logic 4,” Algebra Logika,14, No. 1, 28–55 (1975).
L. L. Ésakia, “Topological Kripke models,” Dokl. Akad. Nauk SSSR,214, No. 2, 298–301 (1974).
L. L. Ésakia, “Semantic analysis of bimodal (temporal) systems,” in: Logic, Semantics, Methodology [in Russian], Metsniereba, Tbilisi (1978), pp. 87–99.
R. I. Goldblatt, “Metamathematics of modal logic, Part 1,” Repts. Math. Logic, No. 6, 41–78 (1976).
S. K. Thomasson, “Categories of frames for modal logic,” J. Symbolic Logic,40, No. 3, 439–442 (1975).
V. Yu. Meskhi, “Algebraic analysis of modal fragments of temporal logics,” in: Logic, Semantics, Methodology [in Russian], Metsniereba, Tbilisi (1978), pp. 113–124.
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
B. Jónsson, “Algebras whose congruence lattices are distributive,” Math. Scand.,21, 110–121 (1967).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 33, No. 1, pp. 131–139, January, 1983.
Rights and permissions
About this article
Cite this article
Meskhi, V.Y. Critical modal logics containing the Brouwer axiom. Mathematical Notes of the Academy of Sciences of the USSR 33, 65–69 (1983). https://doi.org/10.1007/BF01141204
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01141204