%0 Journal Article %A V. F. Yun %T The temporal logic of inductive frames with linear time %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2010 %P 445-457 %V 7 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2010_7_a28/ %G ru %F SEMR_2010_7_a28