文件名称：论文研究-Decision Procedure for Propositional Projection Temporal Logic with Infinite Models.pdf
文件大小：636KB
文件格式：PDF
更新时间：2022-09-04 08:12:20
interval temporal logic, satisfiability, infinite
命题投影时序逻辑在无穷模型范围内的判定过程，段振华，田聪，本文研究命题投影时序逻辑 (PPTL) 在无穷模型下的可满足性的判定算法. 为此, 我们定义了PPTL公式的标准范式 (Normal Form) 和标准范式图 (Nor