On interpolation in NEXT(KB.Alt(2))
Bulletin of the Section of Logic (2018)
- Volume: 47, Issue: 3
- ISSN: 0138-0680
Access Full Article
top
Abstract
topHow to cite
topZofia Kostrzycka. "On interpolation in NEXT(KB.Alt(2))." Bulletin of the Section of Logic 47.3 (2018): null. <http://eudml.org/doc/295517>.
@article{ZofiaKostrzycka2018,
abstract = {We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.},
author = {Zofia Kostrzycka},
journal = {Bulletin of the Section of Logic},
keywords = {symmetric Kripke frames; interpolation; amalgamation},
language = {eng},
number = {3},
pages = {null},
title = {On interpolation in NEXT(KB.Alt(2))},
url = {http://eudml.org/doc/295517},
volume = {47},
year = {2018},
}
TY - JOUR
AU - Zofia Kostrzycka
TI - On interpolation in NEXT(KB.Alt(2))
JO - Bulletin of the Section of Logic
PY - 2018
VL - 47
IS - 3
SP - null
AB - We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
LA - eng
KW - symmetric Kripke frames; interpolation; amalgamation
UR - http://eudml.org/doc/295517
ER -
References
top- 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
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.