×

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).

MSC:

03B45 Modal logic (including the logic of norms)
03G25 Other algebras related to logic
PDFBibTeX XMLCite
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.