Literature Cited
A. V. Kuznetsov, “On certain aspects of the classification of superintuitionistic logics,” Third All-Union Conf. Math. Logic [in Russian], Novosibirsk (1974), pp. 119–122.
A. V. Kuznetsov, “Certain properties of structures on varieties of pseudo-Boolean algebras,” Eleventh All-Union Algebraic Colloq., Resumés of Communications and Reports [in Russian], Kishinev (1971), pp. 225–256.
L. L. Maksimova, “Pretabular superintuitionistic logics,” Algebra i Logika,11, No. 5, 558–570 (1972).
L. L. Maksimova, “Pretabular extensions of logic S4 of Lewis,” Algebra i Logika,14, No. 1, 28–55 (1975).
L. L. Maksimova, “Modal logics of finite layers,” Algebra i Logika,14, No. 3, 304–319 (1975).
L. L. Maksimova and V. V. Rybakov, “On the lattice of normal modal logics,” Algebra i Logika,13, No. 2, 188–216 (1974).
R. Feys, Modal Logic [Russian translation], Nauka, Moscow (1974).
V. A. Yankov, “On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures,” Dokl. Akad. Nauk SSSR,151, No. 6, 1293–1294 (1963).
E. J. Lemmon, “Algebraic semantics for modal logics. I, II,” J. Symb. Logic,31, No. 1, 46–65 (1966),;31, No. 2, 191–218 (1966).
T. Hosoi, “On intermediate logics. I,” J. Fac. Sci. Univ. Tokyo, Sec. I,14, 293–312 (1967).
I. Hosoi, “On algebraic method and the axiomatic method for dealing with propositional logics,” J. Fac. Sci. Univ. Tokyo, Sec. I. A,14, 131–169 (1967).
R. A. Bull, “That all normal extensions of S4.3 have the finite model property,” Z. Math. Log. und Grund. Math.,12, 341–344 (1966).
A. Grzegorczyk, “Some relational systems and associated topological spaces,” Fund. Math.,60, 223–231 (1967).
K. Fine, “The logics containing S4.3,” Z. Math. Log. und Grund. Math.,17, 371–376 (1971).
K. Fine, “An incomplete logic containing S4,” Theoria,40, No. 1, 30–34 (1974).
Additional information
Translated from Algebra i Logika, Vol. 15, No. 2, pp. 185–204, March–April, 1976.
Rights and permissions
About this article
Cite this article
Rybakov, V.V. Hereditarily finitely axiomatizable extensions of logic S4. Algebra and Logic 15, 115–128 (1976). https://doi.org/10.1007/BF01877236
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01877236