Geodesic
Finite model property of modal logics of finite depth
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 71 (2016) no. 1, pp. 164-166

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

@article{RM_2016_71_1_a6,
     author = {A. Kudinov and I. Shapirovsky},
     title = {Finite model property of modal logics of finite depth},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {164--166},
     publisher = {mathdoc},
     volume = {71},
     number = {1},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2016_71_1_a6/}
}
TY  - JOUR
AU  - A. Kudinov
AU  - I. Shapirovsky
TI  - Finite model property of modal logics of finite depth
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2016
SP  - 164
EP  - 166
VL  - 71
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2016_71_1_a6/
LA  - en
ID  - RM_2016_71_1_a6
ER  - 
%0 Journal Article
%A A. Kudinov
%A I. Shapirovsky
%T Finite model property of modal logics of finite depth
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2016
%P 164-166
%V 71
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2016_71_1_a6/
%G en
%F RM_2016_71_1_a6
A. Kudinov; I. Shapirovsky. Finite model property of modal logics of finite depth. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 71 (2016) no. 1, pp. 164-166. http://geodesic.mathdoc.fr/item/RM_2016_71_1_a6/