Skip to main content
SpringerLink
Log in

Weak interpolation in extensions of the logics S 4 and K 4

  • Published:
Algebra and Logic Aims and scope

Abstract

Conditions are specified which are necessary and sufficient for a logic over K4 to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of K4, the weak interpolation property is proved decidable.

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. D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford (2005).

    MATH  Google Scholar 

  2. L. Maksimova, “Definability and interpolation in non-classical logics,” Stud. Log., 82, No. 2, 271–291 (2006).

    Article  MATH  MathSciNet  Google Scholar 

  3. L. L. Maksimova, “Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras,” Algebra Logika, 18, No. 5, 556–586 (1979).

    MATH  MathSciNet  Google Scholar 

  4. L. L. Maksimova, “Interpolation in modal logics of infinite layer containing K4,” Tr. Inst. Mat. SO RAN, 12, 72–90 (1989).

    MathSciNet  Google Scholar 

  5. A. V. Chagrov, “Undecidable properties of extensions of the provability logic,” Algebra Logika, 29, No. 5, 350–367 (1990).

    Google Scholar 

  6. L. Maksimova, “On a form of interpolation in modal logic,” Logic Colloq. 2005, Bull. Symb. Log., 12, No. 2, 340 (2006).

    MathSciNet  Google Scholar 

  7. L. L. Maksimova, “A weak form of interpolation in equational logic,” Algebra Logika, 47, No. 1, 94–107 (2008).

    MATH  MathSciNet  Google Scholar 

  8. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).

    MATH  Google Scholar 

  9. S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).

    MATH  Google Scholar 

  10. L. L. Maksimova, “Pretable extensions of the Lewis logic S4,” Algebra Logika, 14, No. 1, 28–55 (1975).

    MathSciNet  Google Scholar 

  11. P. A. Shreiner, “Automatic recognition of interpolation in modal calculi,” Algebra Logika, 46, No. 1, 103–119 (2007).

    MATH  MathSciNet  Google Scholar 

  12. A. V. Karpenko, “Weak interpolation property in extensions of the modal logic S4,” Diploma Work, Novosibirsk (2007).

Download references

Author information

Authors and Affiliations

  1. Novosibirsk State University, Novosibirsk, Russia

    A. V. Karpenko

Authors
  1. A. V. Karpenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. V. Karpenko.

Additional information

Supported by RFBR (project No. 06-01-00358) and by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-335.2008.1).

__________

Translated from Algebra i Logika, Vol. 47, No. 6, pp. 705–722, November–December, 2008.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Karpenko, A.V. Weak interpolation in extensions of the logics S 4 and K 4 . Algebra Logic 47, 395–404 (2008). https://doi.org/10.1007/s10469-008-9035-8

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-008-9035-8

Keywords

Search

Navigation