Skip to main content
SpringerLink
Log in

Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

Abstract

We consider the restricted interpolation property IPR in modal logics. Earlier, the decidability of IPR over the modal logic S4 was proved and a finite list was found that contains all logics that can possess IPR over S4. However, this list contains some undue logics. The present article gives examples of the logics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Maksimova L. L., “Restricted interpolation over modal logic S4,” Algebra Logic, vol. 52, no. 4, 308–335 (2013).

    Article  MathSciNet  Google Scholar 

  2. Craig W., “Three uses of the Herbrand–Gentzen theorem in relating model theory and proof theory,” J. Symb. Log., vol. 22, 269–285 (1957).

    Article  MathSciNet  Google Scholar 

  3. Beth E. W., “On Padoa’s method in the theory of definitions,” Indag. Math. (N.S.), vol. 15, no. 4, 330–339 (1953).

    Article  MathSciNet  Google Scholar 

  4. Maksimova L., “Restricted interpolation in modal logics,” in: Advances in Modal Logic, vol. 4, King’s College, London (2003), 297–311.

  5. Maksimova L., “Interpolation and joint consistency,” in: We Will Show Them! Essays in Honour of D. Gabbay, vol. 2, King’s College, London (2005), 293–305.

  6. Gabbay D. M. and Maksimova L., Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon, Oxford (2005).

    Book  Google Scholar 

  7. Maksimova L., “Problem of restricted interpolation in superintuitionistic and some modal logics,” Logic J. IGPL, vol. 18, 367–380 (2010).

    Article  MathSciNet  Google Scholar 

  8. Karpenko A. V., “Weak interpolation in extensions of the logics \( S4 \) and \( K4 \),” Algebra Logic, vol. 47, no. 6, 395–404 (2008).

    Article  MathSciNet  Google Scholar 

  9. Maksimova L., “Projective Beth property in extensions of Grzegorczyk logic,” Stud. Log., vol. 83, 365–391 (2006).

    Article  MathSciNet  Google Scholar 

  10. Maksimova L. L., “Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras,” Algebra Logic, vol. 18, no. 5, 348–370 (1979).

    Article  MathSciNet  Google Scholar 

  11. Fine K., “An ascending chain of S4 logics,” Theoria, vol. 40, 110–116 (1974).

    Article  MathSciNet  Google Scholar 

  12. Yankov V. A., “On connection between deducibility in intuitionistic propositional calculus and finite implicative structures,” Dokl. Akad. Nauk SSSR, vol. 131, no. 6, 1293–1294 (1963).

    Google Scholar 

  13. Maksimova L. L., “Classification of extensions of the modal logic S4,” Sib. Math. J., vol. 54, no. 6, 1064–1075 (2013).

    Article  MathSciNet  Google Scholar 

  14. Maksimova L., “Projective Beth’s properties in infinite slice extensions of K4,” in: Advances in Modal Logics, vol. 3, World Sci., Singapore (2002), 349–363.

  15. Maksimova L. L., “A weak form of interpolation in equational logic,” Algebra Logic, vol. 47, no. 1, 56–64 (2008).

    Article  MathSciNet  Google Scholar 

  16. Maksimova L. L. and Rybakov V. V., “A lattice of normal modal logics,” Algebra Logic, vol. 13, no. 2, 105–122 (1974).

    Article  MathSciNet  Google Scholar 

  17. Rasiowa H. and Sikorski R., The Mathematics of Metamathematics, PWN, Warsaw (1963).

    MATH  Google Scholar 

  18. Block W., Varieties of Interior Algebras. PhD Thesis, University Amsterdam, Amsterdam (1976).

    Google Scholar 

  19. Maksimova L. L., “The projective Beth properties in modal and superintuitionistic logics,” Algebra Logic, vol. 38, no. 3, 171–180 (1999).

    Article  MathSciNet  Google Scholar 

  20. Maksimova L. L., “Finite-level modal logics,” Algebra Logic, vol. 14, no. 3, 188–197 (1975).

    Article  Google Scholar 

  21. Hosoi T., “On intermediate logics. I,” J. Fac. Sci. Univ. Tokyo, Sec. Ia, vol. 14, 293–312 (1967).

    MathSciNet  MATH  Google Scholar 

  22. Maksimova L. L., “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Logic, vol. 105, no. 3, 83–102 (2000).

    Article  MathSciNet  Google Scholar 

  23. Maksimova L. L., “Decidability of the projective Beth property in varieties of Heyting algebras,” Algebra Logic, vol. 40, no. 3, 159–165 (2001).

    Article  MathSciNet  Google Scholar 

  24. Maksimova L. L., “Definability in normal extensions of S4,” Algebra Logic, vol. 43, no. 4, 217–229 (2004).

    Article  MathSciNet  Google Scholar 

Download references

Funding

The work was carried out in the framework of FWNF–2022–0011.

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk, Russia

    L. L. Maksimova & V. F. Yun

Authors
  1. L. L. Maksimova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. F. Yun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to L. L. Maksimova.

Additional information

Translated from Sibirskii Matematicheskii Zhurnal, 2022, Vol. 63, No. 2, pp. 344–359. https://doi.org/10.33048/smzh.2022.63.207

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Maksimova, L.L., Yun, V.F. Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4. Sib Math J 63, 286–298 (2022). https://doi.org/10.1134/S0037446622020070

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0037446622020070

Keywords

UDC

Search

Navigation