Literature Cited
V. I. Glivenko, "Sur quelques points de la logique de M. Brouwer," Acad. Roy. Belg. Bull. Cl. Sci., Ser. 5,15, 183–188 (1929).
L. L. Maksimova and V. V. Rybakov, "The lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
L. L. Maksimova, "Modal logics of finite layers," Algebra Logika,14, No. 3, 304–319 (1975).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Pánstwowe Wydawnictwo Naukowe, Warszawa (1963).
V. V. Rybakov, "Noncompact extensions of the logic S4," Algebra Logika,16, No. 4, 472–489 (1977).
C. G. McKay, "A class of decidable intermediate propositional logics," J. Symb. Logic,36, No. 1, 127–128 (1971).
K. Segerberg, An Essay in Classical Modal Logic, Filosofiska Studier No. 13, Philosophical Society and Department of Philosophy, Univ. of Uppsala, Uppsala (1971).
K. Segerberg, "Decidability of S4.1," Theoria,34, No. 1, 7–20 (1968).
G. F. Rose, "Propositional calculus and realizability," Trans. Am. Math. Soc.,75, 1–19 (1953).
Additional information
Translated from Algebra i Logika, Vol. 17, No. 4, pp. 455–467, July–August, 1978.
Rights and permissions
About this article
Cite this article
Rybakov, V.V. Modal logics with LM-axioms. Algebra and Logic 17, 302–310 (1978). https://doi.org/10.1007/BF01674781
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01674781