Meskhi, V. Yu. Critical modal logics containing the Brouwer axiom. (English. Russian original) Zbl 0516.03009 Math. Notes 33, 65-69 (1983); translation from Mat. Zametki 33, No. 1, 131-139 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B45 Modal logic (including the logic of norms) 03G25 Other algebras related to logic Keywords:Boolean algebra with operator; variety; subdirectly irreducible; algebra; Kripke model PDFBibTeX XMLCite \textit{V. Yu. Meskhi}, Math. Notes 33, 65--69 (1983; Zbl 0516.03009); translation from Mat. Zametki 33, No. 1, 131--139 (1983) Full Text: DOI References: [1] E. J. Lemmon, ?Algebraic semantics for modal logics. I,? J. Symbolic Logic,31, No. 1, 46-65 (1966). · Zbl 0147.24805 · doi:10.2307/2270619 [2] L. Esakia and V. Meskhi, ?Five critical modal systems,? Theoria,43, No. 1, 52-60 (1977). · Zbl 0372.02013 · doi:10.1111/j.1755-2567.1977.tb00779.x [3] L. L. Maksimova, ?Pretabular extensions of logic 4,? Algebra Logika,14, No. 1, 28-55 (1975). [4] L. L. Ésakia, ?Topological Kripke models,? Dokl. Akad. Nauk SSSR,214, No. 2, 298-301 (1974). [5] L. L. Ésakia, ?Semantic analysis of bimodal (temporal) systems,? in: Logic, Semantics, Methodology [in Russian], Metsniereba, Tbilisi (1978), pp. 87-99. [6] R. I. Goldblatt, ?Metamathematics of modal logic, Part 1,? Repts. Math. Logic, No. 6, 41-78 (1976). · Zbl 0356.02016 [7] S. K. Thomasson, ?Categories of frames for modal logic,? J. Symbolic Logic,40, No. 3, 439-442 (1975). · Zbl 0317.02012 · doi:10.2307/2272167 [8] V. Yu. Meskhi, ?Algebraic analysis of modal fragments of temporal logics,? in: Logic, Semantics, Methodology [in Russian], Metsniereba, Tbilisi (1978), pp. 113-124. [9] A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970). [10] B. Jónsson, ?Algebras whose congruence lattices are distributive,? Math. Scand.,21, 110-121 (1967). · Zbl 0167.28401 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.