On interpolation in NEXT(KB.Alt(2))
DOI:
https://doi.org/10.18778/0138-0680.47.3.02Keywords:
symmetric Kripke frames, interpolation, amalgamationAbstract
We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
References
A. Chagrov, M. Zakharyaschev, Modal Logic, Oxford Logic Guides 35, (1997).
J. Czelakowski, Logical matrices and the amalgamation property, Studia Logica 41 (4), (1981), pp. 329–341.
D. M. Gabbay, Craig’s interpolation theorem for modal logics, [in:] W. Hodges (ed.), Proceedings of logic conference, London 1970, Vol. 255 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, (1972), pp. 111–127.
Z. Kostrzycka, On interpolation and Halld´en-completeness in NEXT(KTB), Bulletin of the Section of Logic Vol. 41:1/2 (2012), pp. 23–32.
Z. Kostrzycka, Interpolation in normal extensions of the Brouwer logic, Bulletin of the Section of Logic, Vol. 45:3/4 (2016), pp. 1–15.
L. Maksimowa, Interpolation theorems in modal logics and amalgamated varieties of topoboolean algebras, (in Russian), Algebra i Logika, Vol. 18 (1979), pp. 556–586.
Y. Miyazaki, Normal modal logics containing KTB with some finiteness conditions, Advances in Modal Logic 5, pp. 171–190, DOI: 10.1007/s11225-007-9056-7
Downloads
Published
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
How to Cite
