Geodesic
Об интерполяции в нормальных модальных логиках
Matematičeskie issledovaniâ, Tome 98 (1987), pp. 40-56

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : Normal extensions, modal logic K, interpolation, finite axiomatizability 
@article{MI_1987__98_189947,
     author = {{\CYRL}.{\CYRL}. {\CYRM}{\cyra}{\cyrk}{\cyrs}{\cyri}{\cyrm}{\cyro}{\cyrv}{\cyra}},
     title = {{\CYRO}{\cyrb} {\cyri}{\cyrn}{\cyrt}{\cyre}{\cyrr}{\cyrp}{\cyro}{\cyrl}{\cyrya}{\cyrc}{\cyri}{\cyri} {\cyrv} {\cyrn}{\cyro}{\cyrr}{\cyrm}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyrery}{\cyrh} {\cyrm}{\cyro}{\cyrd}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyrery}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyra}{\cyrh}},
     journal = {Matemati\v{c}eskie issledovani\^a},
     pages = {40--56},
     publisher = {mathdoc},
     volume = {98},
     year = {1987},
     zbl = {0643.03012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MI_1987__98_189947/}
}
TY  - JOUR
AU  - Л.Л. Максимова
TI  - Об интерполяции в нормальных модальных логиках
JO  - Matematičeskie issledovaniâ
PY  - 1987
SP  - 40
EP  - 56
VL  - 98
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MI_1987__98_189947/
LA  - ru
ID  - MI_1987__98_189947
ER  - 
%0 Journal Article
%A Л.Л. Максимова
%T Об интерполяции в нормальных модальных логиках
%J Matematičeskie issledovaniâ
%D 1987
%P 40-56
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189947/
%G ru
%F MI_1987__98_189947
Л.Л. Максимова. Об интерполяции в нормальных модальных логиках. Matematičeskie issledovaniâ, Tome 98 (1987), pp. 40-56. http://geodesic.mathdoc.fr/item/MI_1987__98_189947/