%0 Journal Article
%A Alexandra N. Lukyanchuk
%T Decidability of multi-modal logic $LTK$ of linear time and knowledge
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2013
%P 220-226
%V 6
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2013_6_2_a8/
%G en
%F JSFU_2013_6_2_a8