Geodesic
On interpolation in NEXT(KB.Alt(2))
Bulletin of the Section of Logic, Tome 47 (2018) no. 3

Voir la notice de l'article provenant de la source Library of Science

We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
Keywords: symmetric Kripke frames, interpolation, amalgamation 
@article{BSL_2018_47_3_a4,
     author = {Kostrzycka, Zofia},
     title = {On interpolation in {NEXT(KB.Alt(2))}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {47},
     number = {3},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a4/}
}
TY  - JOUR
AU  - Kostrzycka, Zofia
TI  - On interpolation in NEXT(KB.Alt(2))
JO  - Bulletin of the Section of Logic
PY  - 2018
VL  - 47
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a4/
LA  - en
ID  - BSL_2018_47_3_a4
ER  - 
%0 Journal Article
%A Kostrzycka, Zofia
%T On interpolation in NEXT(KB.Alt(2))
%J Bulletin of the Section of Logic
%D 2018
%V 47
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a4/
%G en
%F BSL_2018_47_3_a4
Kostrzycka, Zofia. On interpolation in NEXT(KB.Alt(2)). Bulletin of the Section of Logic, Tome 47 (2018) no. 3. http://geodesic.mathdoc.fr/item/BSL_2018_47_3_a4/