Geodesic
Interpolation in weakly transitive modal logics
Algebra i logika, Tome 51 (2012) no. 2, pp. 197-215

Voir la notice de l'article provenant de la source Math-Net.Ru

We construct an axiomatization of 16 extensions of the logic $DL$ possessing the deductive interpolation property (IPD). It is proved that the weak interpolation property (WIP) is decidable in weakly transitive modal logics. Likewise, the weak amalgamation property is proved decidable for varieties of weakly transitive modal algebras.
Keywords: weakly transitive modal logics, $DL$-logics, decidability, axiomatization, interpolation property, amalgamability. 
@article{AL_2012_51_2_a3,
     author = {A. V. Karpenko},
     title = {Interpolation in weakly transitive modal logics},
     journal = {Algebra i logika},
     pages = {197--215},
     publisher = {mathdoc},
     volume = {51},
     number = {2},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2012_51_2_a3/}
}
TY  - JOUR
AU  - A. V. Karpenko
TI  - Interpolation in weakly transitive modal logics
JO  - Algebra i logika
PY  - 2012
SP  - 197
EP  - 215
VL  - 51
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2012_51_2_a3/
LA  - ru
ID  - AL_2012_51_2_a3
ER  - 
%0 Journal Article
%A A. V. Karpenko
%T Interpolation in weakly transitive modal logics
%J Algebra i logika
%D 2012
%P 197-215
%V 51
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2012_51_2_a3/
%G ru
%F AL_2012_51_2_a3
A. V. Karpenko. Interpolation in weakly transitive modal logics. Algebra i logika, Tome 51 (2012) no. 2, pp. 197-215. http://geodesic.mathdoc.fr/item/AL_2012_51_2_a3/