论文研究-Decision Procedure for Propositional Projection Temporal Lo...

命题投影时序逻辑在无穷模型范围内的判定过程，段振华，田聪，本文研究命题投影时序逻辑 (PPTL) 在无穷模型下的可满足性的判定算法. 为此, 我们定义了PPTL公式的标准范式 (Normal Form) 和标准范式图 (Nor