论文研究Satisfiablity of Propositional Projection Temporal Logic.pdf
命题投影时序逻辑的可满足性，段振华，张丽，本文研究命题投影时序逻辑的可满足性的判定过程.文中给出了该逻辑的语法,语义及该逻辑公式的标准范式.研究了该逻辑公式在有穷模��
用户评论