论文研究-Satisfiablity of Propositional Projection Temporal Logic.pdf

时间:2022-09-05 06:42:33
【文件属性】:

文件名称:论文研究-Satisfiablity of Propositional Projection Temporal Logic.pdf

文件大小:364KB

文件格式:PDF

更新时间:2022-09-05 06:42:33

temporal logic, decision procedure, satisfiablity

命题投影时序逻辑的可满足性,段振华,张丽,本文研究命题投影时序逻辑的可满足性的判定过程. 文中给出了该逻辑的语法,语义及该逻辑公式的标准范式.研究了该逻辑公式在有穷模��


网友评论