%0 Journal Article
%A V. F. Yun
%T Temporal logic of linear time frames with inductions axiom
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2009
%P 312-325
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2009_6_a15/
%G ru
%F SEMR_2009_6_a15