西斯特拉，A.P。;E.M.克拉克。 命题线性时序逻辑的复杂性。 （英语） Zbl 0632.68034号 J.助理计算。机器。 32, 733-749 (1985). 考虑了不同命题线性时序逻辑在特定有限结构中可满足性和真值判定的复杂性。证明了这些问题对于带F的逻辑是NP-完全的，对于带F、X、U、U、S、X算子的逻辑以及Wolper给出的带正则算子的扩展逻辑是PSPACE-完全的。 引用于三评论引用于228文件 MSC公司： 68问题65 抽象数据类型；代数规范 03B70号 计算机科学中的逻辑 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：分支时间时序逻辑;决策程序;复杂性;可满足性;真理的确定;命题线性时序逻辑;NP-完成;PSPACE完成 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}和\textit{E.M.Clarke}，J.协会计算。机器。32733--749（1985年；Zbl 0632.68034） 全文： 内政部