Abstract
LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM L be the “algebraic semantics” ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM L. Then we obtain the Craig interpolation theorem and Robinson theorem for two intuitionistic modal logics, one ofS 4-type and the other one ofS 5-type, showing the super-amalgamation property of the corresponding algebraic semantics.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Block, W.J., Pigozzi, D.: Algebraizable logics. Memoirs Amer. Math. Soc.77, 396 (1989)
Boriçić, B.R.: Interpolation Theorem for intuitionistic S4. Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic20, 2–6 (1991)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate texts in mathematics. Berlin Heidelberg New York: Springer 1981
Luppi, C.: Algebre di Heyting topologiche. Matematiche (Catania)32, 5–22 (1977)
Maksimova, L.L.: Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras. Algebra Logic16, 427–455 (1978)
Maksimova, L.L.: Interpolation Theorems in modal logics and amalgamable varieties of topological boolean algebras. Algebra Logic18, 348–370 (1980)
Ono, H.: On some intuitionistic modal logics. Publ. R.I.M.S. Kyoto Univ.13, 687–722 (1977)
Plaza, J.: The Craig interpolation Lemma for certain modal logics. Logic Colloquium '86, pp. 209–218 (1988)
Rasiowa, H., Sikorski, R.: The Mathematics of metamathematics. Warsaw: Polska Akademia Nauk, Monografie matematyczne 1963
Segerberg, K.: An essay in classical modal logic. Filosofiska Studier. Uppsala (1971)