TY  - JOUR
AU  - A. G. Kravtsov
TI  - On a~family of decidable modal logics
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2002
SP  - 809
EP  - 810
VL  - 57
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2002_57_4_a10/
LA  - en
ID  - RM_2002_57_4_a10
ER  -