%0 Journal Article
%T N SYSTEM: A NATURAL TEMPORAL DEDUCTION SYSTEM<br>
%J 科学通报(英文版)
%D 1989
%I 
%K temporal logic
%K natural deduction
%K soundness and completeness
%K program apecification and verification<br>
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=96E6E851B5104576C2DD9FC1FBCB69EF&jid=DD6615BC9D2CFCE0B6F945E8D5314523&aid=64E2CFB35F8E5C2D3B34678E04EF0BFF&yid=1833A6AA51F779C1&vid=339D79302DF62549&iid=94C357A881DFC066&sid=3E3EF0DB5E6F2DA9&eid=3E3EF0DB5E6F2DA9&journal_id=1001-6538&journal_name=科学通报(英文版)&referenced_num=0&reference_num=0