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).
Google Scholar
J. Czelakowski, Logical matrices and the amalgamation property, Studia Logica 41 (4), (1981), pp. 329–341.
Google Scholar
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.
Google Scholar
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.
Google Scholar
Z. Kostrzycka, Interpolation in normal extensions of the Brouwer logic, Bulletin of the Section of Logic, Vol. 45:3/4 (2016), pp. 1–15.
Google Scholar
L. Maksimowa, Interpolation theorems in modal logics and amalgamated varieties of topoboolean algebras, (in Russian), Algebra i Logika, Vol. 18 (1979), pp. 556–586.
Google Scholar
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
Google Scholar
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
