正则形论文

命题投影时序逻辑的判定性和表达性
论文摘要本文在研究了命题投影时序逻辑PPTL(PropositionalProjectionTemporalLogic)的语义和语法的基础上,详细阐述了它的判定过程和表达性。首...
命题投影时序逻辑的可判定性
论文摘要本文主要研究命题投影时序逻辑(PropositionalProjectionTemporalLogic,PPTL)的可判定性问题。文中简要地介绍了PPTL公式的语法、语...