Projective beth properties in modal and superintuitionistic logics

1. L. L. Maksimova, “The Beth properties, interpolation, and amalgamability in varieties of modal algebras,”Dokl. Acad. Nauk SSSR,319, No. 6, 1309–1312 (1991).

   Google Scholar 

2. L. L. Maksimova, “Modal logics and varieties of modal algebras: Beth properties, interpolation, and amalgamation,”Algebra Logika,31, No. 2, 145–166 (1992).

   Google Scholar 

3. J. Barwise and S. Feferman (eds.),Model-Theoretic Logics, Springer, New York (1985).

   Google Scholar 

4. W. Craig, “Three uses of Herbrand-Gentzen theorem in relating model theory,”J. Symb. Log.,22, 269–285 (1957).

   Article  MATH  Google Scholar 

5. L. L. Maksimova, “An analog for the Beth theorem in normal extensions of modal logic K4,”Sib. Mat. Zh.,33, No. 6, 118–130 (1992).

   MATH  Google Scholar 

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

   MATH  Google Scholar 

7. L. L. Maksimova, “Interpolation theorems in modal logics. Sufficient conditions,”Algebra Logika,18, No. 2, 194–213 (1980).

   Google Scholar 

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

9. W. J. Blok, “Pretabular varieties of modal algebras,”Stud. Log.,39, Nos. 2/3, 101–124 (1980).

   Article  MATH  Google Scholar 

10. J. Czelakowski, “Logical matrices and the amalgamation property,”Stud. Log.,41, No. 4, 329–341 (1982).

    Article  MATH  Google Scholar 

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

    MATH  Google Scholar 

12. G. Kreisel, “Explicit definability in intuitionistic logic,”J. Symb. Log.,25, No. 4, 389–390 (1960).

    Google Scholar 

13. L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudoboolean algebras,”Algebra Logika,16, No. 6, 643–681 (1977).

    MATH  Google Scholar 

14. L. Maksimova and V. V. Rybakov, “Lattices of normal modal logics,”Algebra Logika,13, No. 2, 188–216 (1974).

    Google Scholar 

Download references