无穷模型论文

命题投影时序逻辑的可判定性
论文摘要本文主要研究命题投影时序逻辑(PropositionalProjectionTemporalLogic,PPTL)的可判定性问题。文中简要地介绍了PPTL公式的语法、语...