TY  - JOUR
AU  - V. F. Yun
TI  - Polymodal logic of the class of inductive linear time frames
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2015
SP  - 421
EP  - 431
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2015_12_a17/
LA  - ru
ID  - SEMR_2015_12_a17
ER  -