%0 Journal Article
%A Stepan I. Bashmakov
%T Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
%J Žurnal Sibirskogo federalʹnogo universiteta. Matematika i fizika
%D 2016
%P 149-157
%V 9
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JSFU_2016_9_2_a2/
%G en
%F JSFU_2016_9_2_a2