Literature Cited
L. L. Maksimova and V. V. Rybakov, "The lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
R. Feys, Modal Logics [Russian translation], Nauka, Moscow (1974).
L. L. Ésakia, "Modal ‘one of a pair’ of superintuitionistic logics," in: Seventh All-Union Symposium on Logic and the Methodology of Science, Abstracts of Communications, Naukova Dumka, Kiev (1976).
K. Fine, "An ascending chain ofS4 logics," Theoria,40, No. 2, 110–117 (1974).
K. Fine, "An incomplete logic containingS4," Theoria,40, No. 1, 23–29 (1974).
M. S. Gerson, "An extension ofS4 complete for the neighborhood semantics but incomplete for the relational semantics," Stud. Logica,34, No. 4, 333–342 (1975).
A. Grzegorczyk, "Some relational systems and associated topological spaces," Fund. Math.,60, 223–231 (1967).
S. A. Kripke, "Semantical analysis of intuitionistic logic. I," in: Formal Systems and Recursive Functions, J. N. Crossley and M. A. E. Dummett (editors), Proc. Eighth Logic Colloq., Oxford, July 1963, North-Holland, Amsterdam (1965), pp. 92–130.
E. I. Lemmon, "Algebraic semantics for modal logic. I." J. Symb. Logic,31, No. 1, 46–65 (1966); II,31, No. 2, 191–218 (1966).
K. Segerberg, An Essay in Classical Modal Logic, Filosofiska Studier No. 13, Philosophical Society and Department of Philosophy, Univ. of Uppsala, Uppsala (1971).
S. K. Thomason, "Noncompactness in propositional modal logic," J. Symb. Logic,37, No. 4, 716–720 (1972).
S. K. Thomason, "An incompleteness theorem in modal logic," Theoria,40, No. 1, 30–34 (1974).
Additional information
Translated from Algebra i Logika, Vol. 16, No. 4, pp. 472–490, July–August, 1977.
Rights and permissions
About this article
Cite this article
Rybakov, V.V. Noncompact extensions of the logicS4 . Algebra and Logic 16, 321–334 (1977). https://doi.org/10.1007/BF01669284
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01669284