Literature cited
M. V. Zakhar'yashchev, "Normal modal logics containingS4," Dokl. Akad. Nauk SSSR,275, No. 3, 537–540 (1984).
S. A. Kripke, "Semantic analysis of modal logic. 1. Normal modal propositional calculi," in: Modal Logic [Russian translation], R. Feys (ed.), Nauka, Moscow (1974), pp. 254–303.
L. L. Maksimova, "Pretabular extensions of Louis'S4 logic," Algebra Logika,14, No. 1, 28–55 (1975).
L. L. Maksimova, "Modal logics of finite layers," Algebra Logika,14, No. 3, 304–319 (1975).
L. L. Maksimova and V. V. Rybakov, "Lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
V. Yu. Meshki and L. L. Esakia, "On five ‘critical’ modal systems," All-Union Symposium on the Theory of Logical Deduction, Moscow (1974), pp. 76–79.
E. Raseva and R. Sikorskii, Mathematics of Metamathematics [in Russian], Nauka, Moscow (1972).
V. A. Yankov, "Conjunctively nondecomposable formulas in propositional calculi," Izv. Akad. Nauk SSSR, Ser. Mat.,33, No. 1, 18–38 (1969).
K. Fine, "The logics containing S4.3," Z. Math. Logik Grundl. Math.,17, 371–376 (1974).
K. Fine, "An ascending chain of S4 logics," Theoria,40, No. 2, 110–116 (1974).
B. Jonsson and A. Tarski, "Boolean algebras with operators," Am. J. Math.,73, No. 4, 891–939 (1951).
K. Segerberg, "An essay in classical modal logic," University of Uppsala Preprint 13 (1971).
K. Fine, "Logics containing K4, Part II," J. Sym. Logic,5, No. 3, 619–651 (1985).
Additional information
Translated from Algebra i Logika, Vol. 27, No. 6, pp. 659–689, November–December, 1988.
Rights and permissions
About this article
Cite this article
Zakhar'yashchev, M.V. Syntax and semantics of modal logics containing S4. Algebra and Logic 27, 408–428 (1988). https://doi.org/10.1007/BF01980737
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01980737