Article PDF
Avoid common mistakes on your manuscript.
Literature Cited
V. Ya. Gerchiu, "Superindependent superintuitionistic logics," Matem. Issled.,5, No. 3, 24–37 (1970).
V. Ya. Gerchiu and A. V. Kuznetsov, "On finitely axiomatizable superintuitionistic logics," Dokl. Akad. Nauk SSSR,195, No. 6, 1263–1266 (1970).
P. M. Cohn, Universal Algebra, Harper and Row, New York (1966).
A. V. Kuznetsov, "Some structural properties of varieties of pseudo-Boolean algebras," Eleventh All-Union Algebraic Colloquium, Abstracts of Communications and Reports, Kishinev [in Russian] (1971), pp. 255–256.
A. V. Kuznetsov and V. Ya. Gerchiu, "On superintuitionistic logics and finite approximability," Dokl. Akad. Nauk SSSR,195, No. 5, 1029–1032 (1970).
L. L. Maksimova, "Pretabular superintuitionistic logics," Algebra i Logika,11, No. 5, 558–570 (1972).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografie Mat.,41, PWN, Warsaw (1963).
V. A. Yankov, "Construction of sequence of strongly independent superintuitionistic propositional calculi," Dokl. Akad. Nauk SSSR,181, No. 1, 33–34 (1968).
G. Birkhoff, "Subdirect unions in universal algebras," Bull. Amer. Math. Soc.,50, 764–768 (1944).
M. A. Dummett and E. J. Lemmon, "Modal logics between 34 and 35," Zeitschr. Math. Log. und Grundl. Math.,5, 250–264 (1959).
J. Dugundji, "Note on a property of matrices for Lewis and Langford's calculi of propositions," J. Symb. Logic,5, 150–151 (1940).
T. Hosoi, "On axiomatic method and the algebraic method for dealing with propositional logics," J. Fac. Sci. Univ. Tokyo, Sec. IA,14, 131–169 (1967).
T. Hosoi, "On intermediate logics. I–II," J. Fac. Sci. Univ. Tokyo, Sec. I,14, 293–312 (1967);16, 1–12 (1969).
J. C. McKinsey and A. Tarski, "Some theorems about the sentential calculi of Lewis and Heyting," J. Symb. Logic,13, 1–15 (1948).
S. Miuras, "A remark on the intersection of two logics," Nagoya Math. J.,26, 167–171 (1966).
J. Scroggs, "Extensions of S5," J. Symb. Logic,16, 112–120 (1951).
A. Grzegorczyk, "Some relational systems and the associated topological spaces," Fund. Math.,60, 223–231 (1967).
K. A. Baker, "Equational bases for finite algebras," Not. Am. Math. Soc.,19, 691-08-2 (1972).
Additional information
Translated from Algebra i Logika, Vol. 13, No. 2, pp. 188–216, March–April, 1974.
Rights and permissions
About this article
Cite this article
Maksimova, L.L., Rybakov, V.V. A lattice of normal modal logics. Algebra and Logic 13, 105–122 (1974). https://doi.org/10.1007/BF01463150
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01463150