Skip to main content
SpringerLink
Log in

Interpolation in infinitely layered extensions of provability logic

  • Published:
Algebra and Logic Aims and scope

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

Literature cited

  1. A. V. Kuznetsov and A. Yu. Muravitskii, "Provability as modality," in: Contemporary Problems in Logic and the Methodology of Science [in Russian], Naukova Dumka, Kiev (1980), pp. 193–229.

    Google Scholar 

  2. A. V. Kuznetsov and A. Yu. Muravitskii, "Relations between extensions of four well-known logics," Seventh All-Union Conference on Mathematical Logics, Novosibirsk (1984), p. 85.

  3. L. L. Maksimova, "Interpolation theorems in modal logics and amalgamable manifolds of topological Boolean algebras," Algebra Logika,18, No. 5, 556–586 (1979).

    Google Scholar 

  4. L. L. Maksimova, "Absence of interpolation properties in modal associates of Dammet's logic," Algebra Logika,21, No. 6, 690–694 (1982).

    Google Scholar 

  5. L. L. Maksimova, "On interpolation in modal logics containing S4," 7th International Congress on Logic, Methodology, and Philosophy of Science, Salzburg (1983), Abstracts, 1, pp. 84–87.

  6. L. L. Maksimova, "On interpolation in normal modal logics," in: Nonclassical Logics [in Russian], Shtiintsa, Kishinev (1987), pp. 40–56.

    Google Scholar 

  7. L. L. Maksimova, "Infinitely layered extensions of K4 modal logic possessing the interpolation property," 8th All-Union Conference on Mathematical Logic, Moscow (1986), p. 107.

  8. V. Yu. Meskhi, "Algebraic analysis of modal fragments of provisional logics," in: Logic, Semantics, Methodology [in Russian], Metsniereba, Tbilisi (1978), pp. 113–124.

    Google Scholar 

  9. W. J. Blok, "Pretabular varieties of modal logics," Stud. Logica,39, No. 2/3, 101–124 (1980).

    Article  Google Scholar 

  10. J. Czelakowski, "Logical matrices and the amalgamation property," Stud. Logica,41, No. 4, 329–342 (1982).

    Article  Google Scholar 

  11. W. Rautenberg, "Modal tableau calculi and interpolation," J. Philos. Logic,12, 403–423 (1983).

    Article  Google Scholar 

  12. K. Segerberg, An Essay in Classical Modal Logic, Uppsala (1971).

  13. C. Smorynski, "Beth's theorem and self-referential sentences," Logic Colloq. '77, Amsterdam (1978), pp. 253–261.

Download references

Authors
  1. L. L. Maksimova
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Algebra i Logika, Vol. 27, No. 5, pp. 581–603, September–October, 1988.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maksimova, L.L. Interpolation in infinitely layered extensions of provability logic. Algebra and Logic 27, 361–376 (1988). https://doi.org/10.1007/BF01982275

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01982275

Keywords

Search

Navigation