TY  - JOUR
AU  - Alexandra N. Lukyanchuk
TI  - Decidability of multi-modal logic $LTK$ of linear time and knowledge
JO  - Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
PY  - 2013
SP  - 220
EP  - 226
VL  - 6
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JSFU_2013_6_2_a8/
LA  - en
ID  - JSFU_2013_6_2_a8
ER  -