The problem of restricted interpolation and definability in normal extensions of modal logic S4 is investigated. We specify necessary conditions for the restricted interpolation property IPR in the systems under consideration, and prove that there exist only finitely many logics possessing IPR or the projective Beth property PB2. These logics are all residually finite and recognizable over S4. As a consequence, the restricted interpolation problem and the projective Beth property are decidable over S4.
Similar content being viewed by others
References
W. Craig, “Three uses of Herbrand–Gentzen theorem in relating model theory,” J. Symb. Log., 22, No. 3, 269–285 (1957).
J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, New York (1985).
D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford (2005).
D. Gabbay, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, Synthese Library, 92, Reidel Publ., Dordrecht-Boston (1976).
E. W. Beth, “On Padoa’s method in the theory of definitions,” Indag. Math., 15, No. 4, 330–339 (1953).
L. L. Maksimova, “Projective Beth properties in modal and superintuitionistic logics,” Algebra Logika, 38, No. 3, 316–333 (1999).
L. Maksimova, “Restricted interpolation in modal logics,” in Advances in Modal Logic, Vol. 4, King’s Coll. Publ., London (2003), pp. 297–311.
L. Maksimova, “Interpolation and joint consistency,” in We Will Show Them! Essays in Honour of D. Gabbay. Vol. 2, S. Artemov, H. Barringer, A. d’Avila Garcez, et al. (eds.) King’s Coll. Publ., London (2005), pp. 293–305.
A. V. Karpenko, “Interpolation in weakly transitive modal logics,” Algebra Logika, 51, No. 2, 197–215 (2012).
A. V. Chagrov, “Undecidable properties of provability logic,” Algebra Logika, 29, No. 5, 350–367 (1990).
L. L. Maksimova, “Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras,” Algebra Logika, 18, No. 5, 556–586 (1979).
L. L. Maksimova, “Classification of extensions of modal logic S4,” to appear in Sib. Mat. Zh.
L. L. Maksimova, “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Log., 105, Nos. 1–3, 83–102 (2000).
L. Maksimova, “Problem of restricted interpolation in superintuitionistic and some modal logics,” Log. J. IGPL, 18, No. 3, 367–380 (2010).
L. L. Maksimova, “Projective Beth’s properties in infinite slice extensions of the modal logic K4,” in Adv. Modal Logic, Vol. 3, F. Wolter (ed.) et al., Proc. 3rd AiML Workshop, World Scientific, Singapore (2002), pp. 349–363.
L. L. Maksimova, “A weak form of interpolation in equational logic,” Algebra Logika, 47, No. 1, 94–107 (2008).
A. V. Karpenko, “Weak interpolation in extensions of the logics S4 and K4,” Algebra Logika, 47, No. 6, 705–722 (2008).
L. Maksimova, “Projective Beth property in extensions of Grzegorczyk logic,” Stud. Log., 83, Nos. 1–3, 365–391 (2006).
K. Fine, “An ascending chain of S4 logics,” Theoria, 40, 110–116 (1974).
V. A. Yankov, “The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures,” Dokl. Akad. Nauk SSSR, 151, No. 6, 1293–1294 (1963).
L. L. Maksimova and V. V. Rybakov, “The lattice of normal modal logics,” Algebra Logika, 13, No. 2, 188–216 (1974).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
W. J. Blok, “Varieties of interior algebras,” PhD Thesis, Univ. Amsterdam (1976).
L. L. Maksimova, “Modal logics of finite slices,” Algebra Logika, 14, No. 3, 304–319 (1975).
T. Hosoi, “On intermediate logics. I,” J. Fac. Sc. Univ. Tokyo, Sect. Ia, 14, 293–312 (1967).
L. L. Maksimova, “Decidability of the projective Beth property in varieties of Heyting algebras,” Algebra Logika, 40, No. 3, 290–301 (2001).
L. L. Maksimova, “Definability in normal extensions of S4,” Algebra Logika, 43, No. 4, 387–410 (2004).
Author information
Authors and Affiliations
Corresponding author
Additional information
*Supported by RFBR (project No. 12-01-00168a) and by the Russian Ministry of Education through the Analytical Departmental Target Program “Development of Scientific Potential of the Higher School of Learning” (project No. 2.1.1.10726).
Translated from Algebra i Logika, Vol. 52, No. 4, pp. 461-501, July-August, 2013.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Restricted interpolation over modal logic S4. Algebra Logic 52, 308–335 (2013). https://doi.org/10.1007/s10469-013-9244-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-013-9244-7