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  -