投影时序逻辑论文

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