The restricted interpolation property IPR in modal and superintuitionistic logics is investigated. It is proved that in superintuitionistic logics of finite slices and in finite-slice extensions of the Grzegorczyk logic, the property IPR is equivalent to the projective Beth property PB2.
Similar content being viewed by others
References
L. L. Maksimova, “Projective Beth properties in modal and superintuitionistic logics,” Algebra Logika, 38, No. 3, 316–333 (1999).
L. L. Maksimova, “Superintuitionistic logics and the projective Beth property,” Algebra Logika, 38, No. 6, 680–696 (1999).
L. L. Maksimova, “Intuitionistic logic and implicit definability,” Ann. Pure Appl. Log., 105, No. 1, 83–102 (2000).
L. L. Maksimova, “Implicit definability and positive logics,” Algebra Logika, 42, No. 1, 65–93 (2003).
L. L. Maksimova, “Definability in normal extensions of S4,” Algebra Logika, 43, No. 4, 387–410 (2004).
D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Oxford Univ. Press, Oxford (2005).
L. L. Maksimova, “Decidability of the projective Beth property in varieties of Heyting algebras,” Algebra Logika, 40, No. 3, 290–301 (2001).
L. Maksimova, “Projective Beth property in extensions of Grzegorczyk logic,” Stud. Log., 83, Nos. 1–3, 365–391 (2006).
L. L. Maksimova, “The projective Beth property and interpolation in positive and related logics,” Algebra Logika, 45, No. 1, 85-113 (2006).
L. Maksimova, “Restricted interpolation in modal logics,” in Advances in Modal Logic, Vol. 4, King’s Coll. Publ., London (2003), pp. 297-311.
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
W. J. Blok, “Varieties of interior algebras,” Ph. D. Thesis, Univ. Amsterdam (1976).
T. Hosoi, “On intermediate logics. I,” J. Fac. Sc. Univ. Tokyo, Sec. Ia, 14, 293–312 (1967).
L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo- Boolean algebras,” Algebra Logika, 16, No. 6, 643-681 (1977).
L. L. Maksimova, “Modal logics and varieties of modal algebras: the Beth property, interpolation and amalgamation,” Algebra Logika, 31, No. 2, 145-166 (1992).
L. L. Maksimova, “Restricted interpolation and the projective Beth property in equational logic,” Algebra Logika, 42, No. 6, 712-726 (2003).
L. L. Maksimova and V. V. Rybakov, “The lattice of normal modal logics,” Algebra Logika, 13, No. 2, 188-216 (1974).
A. Chagrov and M. Zakharyaschev, Modal Logics, Oxford Logic Guides, 35, Clarendon, Oxford (1997).
L. L. Maksimova, “Projective Beth’s properties in infinite slice extensions of the modal logic K4,” in Advances in Modal Logic, Vol. 3, World Scientific, Singapore (2002), pp. 349-363.
Author information
Authors and Affiliations
Corresponding author
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. 48, No. 1, pp. 54-89, January-February, 2009.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Restricted interpolation property in superintuitionistic logics. Algebra Logic 48, 33–53 (2009). https://doi.org/10.1007/s10469-009-9042-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-009-9042-4