Geodesic
Restricted interpolation over modal logic $\mathrm S4$
Algebra i logika, Tome 52 (2013) no. 4, pp. 461-501

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

The problem of restricted interpolation and definability in normal extensions of modal logic $\mathrm S4$ is investigated.We specify necessary conditions for the restricted interpolation property IPR in the systems under consideration, and prove that there exist only finitely many logics possessing IPR or the projective Beth property PB2. These logics are all residually finite and recognizable over $\mathrm S4$. As a consequence, the restricted interpolation problem and the projective Beth property are decidable over $\mathrm S4$.
Keywords: modal logic $\mathrm S4$, restricted interpolation, projective Beth property. 
@article{AL_2013_52_4_a3,
     author = {L. L. Maksimova},
     title = {Restricted interpolation over modal logic~$\mathrm S4$},
     journal = {Algebra i logika},
     pages = {461--501},
     publisher = {mathdoc},
     volume = {52},
     number = {4},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2013_52_4_a3/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - Restricted interpolation over modal logic $\mathrm S4$
JO  - Algebra i logika
PY  - 2013
SP  - 461
EP  - 501
VL  - 52
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2013_52_4_a3/
LA  - ru
ID  - AL_2013_52_4_a3
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T Restricted interpolation over modal logic $\mathrm S4$
%J Algebra i logika
%D 2013
%P 461-501
%V 52
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2013_52_4_a3/
%G ru
%F AL_2013_52_4_a3
L. L. Maksimova. Restricted interpolation over modal logic $\mathrm S4$. Algebra i logika, Tome 52 (2013) no. 4, pp. 461-501. http://geodesic.mathdoc.fr/item/AL_2013_52_4_a3/