On interpolation in NEXT(KB.Alt(2))

• Autorzy: Zofia Kostrzycka
• Języki publikacji: EN

Abstrakty

EN

We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.

Słowa kluczowe

EN

symmetric Kripke frames; interpolation; amalgamation

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2018
• Tom: 47
• Numer: 3

Daty

wydano

2018-10-30

Twórcy

autor

Zofia Kostrzycka

• University of Technology

Bibliografia

• 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

Identyfikatory

DOI

10.18778/0138-0680.47.3.02