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/