Geodesic
Definability in Normal Extensions of S4
Algebra i logika, Tome 43 (2004) no. 4, pp. 387-410

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

A projective Beth property, PB2, in normal modal logics extending S4 is studied. A convenient criterion is furnished for PB2 to be valid in a larger family of extensions of K4. All locally tabular extensions of the Grzegorczyk logic with PB2 are described. Superintuitionistic logics with the projective Beth property that have no modal companions with this property are found.
Keywords: modal logic, Grzegorczyk logic, superintuitionistic logic, locally tabular extension, projective Beth property. 
@article{AL_2004_43_4_a0,
     author = {L. L. Maksimova},
     title = {Definability in {Normal} {Extensions} of {S4}},
     journal = {Algebra i logika},
     pages = {387--410},
     publisher = {mathdoc},
     volume = {43},
     number = {4},
     year = {2004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2004_43_4_a0/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - Definability in Normal Extensions of S4
JO  - Algebra i logika
PY  - 2004
SP  - 387
EP  - 410
VL  - 43
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2004_43_4_a0/
LA  - ru
ID  - AL_2004_43_4_a0
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T Definability in Normal Extensions of S4
%J Algebra i logika
%D 2004
%P 387-410
%V 43
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2004_43_4_a0/
%G ru
%F AL_2004_43_4_a0
L. L. Maksimova. Definability in Normal Extensions of S4. Algebra i logika, Tome 43 (2004) no. 4, pp. 387-410. http://geodesic.mathdoc.fr/item/AL_2004_43_4_a0/