Skip to main content
SpringerLink
Log in

Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras

  • 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. L. L. Maksimova, "Craig's interpolation theorem and amalgamable varieties," Dokl. Akad. Nauk SSSR,237, No. 6, 1281–1284 (1977).

    Google Scholar 

  2. L. L. Maksimova, "Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras," Algebra Logika,16, No. 6, 643–681 (1977).

    Google Scholar 

  3. L. L. Maksimova, "On a classification of modal logics," Algebra Logika,18, No. 3, 328–340 (1979).

    Google Scholar 

  4. L. L. Maksimova, "Modal logics of finite layers," Algebra Logika,14, No. 3, 304–319 (1975).

    Google Scholar 

  5. L. L. Maksimova, "Pretabular extensions of the Lewis logicS4," Algebra Logika,14, No. 1, 28–55 (1975).

    Google Scholar 

  6. L. L. Maksimova and V. V. Rybakov, "On the lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).

    Google Scholar 

  7. E. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Third Edition, PWN, Warsaw (1970).

    Google Scholar 

  8. W. Craig, "Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory," J. Symbolic Logic,22, 269–285 (1957).

    Google Scholar 

  9. J. Czermak, "Interpolation theorem for modal logics," in: Proceedings of the Logic Colloquium (Bristol, July, 1973), H. E. Rose and J. C. Shepherdson (editors), North-Holland, Amsterdam (1975), pp. 381–393.

    Google Scholar 

  10. D. Gabbay, "Craig's interpolation theorem for modal logics," in: Conference in Mathematical Logic — London'70, W. Hodges (editor), Lecture Notes in Mathematics, Vol. 255, Springer-Verlag, Berlin—New York (1972), pp. 111–127.

    Google Scholar 

  11. B. Jónsson, "Extensions of relational structures," in: The Theory of Models, B. Jónsson (editor), North-Holland, Amsterdam (1965), pp. 146–157.

    Google Scholar 

  12. G. F. Schumm, "Interpolation inS5 and some related systems," Math. Logic,6, 107–110 (1976).

    Google Scholar 

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

  14. B. Sobocinski, "Certain extensions of modal systemS4," Notre Dame J. Formal Logic,11, No. 3, 347–368 (1970).

    Google Scholar 

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. 18, No. 5, pp. 556–586, September–October, 1979.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maksimova, L.L. Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras. Algebra and Logic 18, 348–370 (1979). https://doi.org/10.1007/BF01673502

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation