TY - JOUR AU - V. F. Yun TI - The temporal logic of inductive frames with linear time JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2010 SP - 445 EP - 457 VL - 7 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2010_7_a28/ LA - ru ID - SEMR_2010_7_a28 ER -