Literature cited
D. Makinson, “A normal modal calculus between T and S4 without the finite model property,” J. Symbolic Logic,34, No. 1, 35–38 (1969).
J. Dunn and R. Meyer, “Algebraic completeness results for Dummett's LC and its extensions,” Z. Math. Logik Grundlag. Math.,17, 225–230 (1971).
V. Kh. Sotirov, “Modal theories with intuitionistic logic,” in: Sixth Balkan Mathematical Congress, Varna, 3–9 June 1977, Summaries, p. 91.
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 27, No. 1, pp. 89–94, January, 1980.
Rights and permissions
About this article
Cite this article
Sotirov, V.K. Nonfinitely approximable intuitionistic modal logics. Mathematical Notes of the Academy of Sciences of the USSR 27, 47–49 (1980). https://doi.org/10.1007/BF01149813
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01149813