%0 Journal Article
%T 命题时态逻辑的分划式扩充
%A 沈恩绍
%J -
%D 1996
%X 在PTL(propositional temporal logic)上加入一个U算子的自然拓广一2分划算子，便导出Wolper—Vardi—Sistla之ETL(extend PTL)的一个完全的子逻辑．它有更简洁的语法及公理系统、更好的判定算法等，是研究有限状态并发程序的一种理想的规范语言
%K 分划算子
%K ETL
%K 公理演绎系统
%K 判定复杂性
%K Tableau方法．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1996s165&flag=1