Skip to main content
SpringerLink
Log in

Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation

  • 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. J. Barwise and S. Feferman, Model-Theoretic Logics, Springer-Verlag, New York (1985).

    Google Scholar 

  2. P. D. Bacsich, "Amalgamation properties and interpolation theorems for equational theories," Alg. Univer.,5, 45–55 (1975).

    Google Scholar 

  3. E. W. Kiss, L. Marki, P. Prohli, and W. Tholen, "Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity," Stud. Sci. Math. Hungarica,18, No. 1, 79–141 (1983).

    Google Scholar 

  4. D. Pigozzi, "Amalgamation, congruence extension, and interpolation properties in algebras," Alg. Univer., 1/3, 269–349 (1972).

    Google Scholar 

  5. L. L. Maksimova, "Interpolation theorems in modal logics and amalgamated varieties of topo-Boolean algebras," Algebra Logika,18, No. 5, 556–586 (1979).

    Google Scholar 

  6. L. L. Maksimova, "Interpolation theorems in modal logics. Sufficient conditions," Algebra Logika,19, No. 2, 194–213 (1980).

    Google Scholar 

  7. J. Czelakowski, "Logical matrices and the amalgamation property," Studia Logica,41, No. 4, 329–341 (1982).

    Article  Google Scholar 

  8. L. L. Maksimova, "Interpolation, the Beth property and tense logic of ‘tomorrow’," Preprint Inst. Mat. Akad. Nauk SSSR Sib. Otd., Novosibirsk (1989).

  9. H. Rasiowa and R. Sikorsky, Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1962).

    Google Scholar 

  10. W. J. Blok, "Pretabular varieties of modal algebras," Studia Logica,39, No. 2/3, 101–124 (1980).

    Article  Google Scholar 

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

    Google Scholar 

  12. W. Blok and D. Pigozzi, "Algebraizable logics," Memoirs Am. Math. Soc., No. 396, Providence (1989).

  13. L. Henkin, J. D. Monk, and A. Tarski, Cylindric Algebras, Part II, North-Holland, Amsterdam (1985).

    Google Scholar 

  14. A. Wronski, "On a form of equational interpolation property," in: Foundations of Logic and Linquistics. Problems and Solutions, Selected Contributions to 7th Intern. Congress, Plenum Press, London (1985).

    Google Scholar 

  15. H. Ono, "Interpolation and the Robinson property for logics not closed under the Boolean operations," Alg. Univer.,23, 111–122 (1986).

    Article  Google Scholar 

  16. B. Jonsson, "Algebras whose congruence lattices are distributive," Math. Scand.,21, 110–121 (1967).

    Google Scholar 

  17. A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).

    Google Scholar 

  18. L. L. Maksimova, "Definability theorems in normal extensions of the probability logic," Studia Logica,48, No. 4, 495–507 (1989).

    Article  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. 31, No. 2, pp. 145–166, March–April, 1992.

Translated by the author

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maksimova, L.L. Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation. Algebr Logic 31, 90–105 (1992). https://doi.org/10.1007/BF02259848

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation