卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 混合时序逻辑的计算复杂性。 （英语） Zbl 0959.03011号 日志。J.IGPL公司 8，第5期，653-679（2000）. 摘要：混合语言最简单的形式是可以表示状态的命题模态语言。它们是由时态逻辑的发明者阿瑟·普赖尔（Arthur Prior）介绍的，在他的工作中发挥了重要作用：因为它们提到了特定的可能时间，所以消除了发展时间表征和推理的模态方法的最严重障碍。然而，对于混合时序逻辑的计算复杂性知之甚少。本文分析了若干混合时序逻辑可满足性问题的复杂性：传递框架上的基本混合语言；传递框架、严格全序和传递树上的名词时态逻辑；名义直到逻辑；和引用区间逻辑。我们讨论了包括名词、（@）运算符、某处情态（E）和差分运算符（D）的影响。将名词添加到时态逻辑会导致几个框架类增加可满足性问题从PSPACE到EXPTIME的复杂性。然而，在传递树上，这种语言的可满足性问题可以在PSPACE中确定。在此过程中，我们绕道通过混合命题动态逻辑：我们通过推广由于以下原因导致的结果来建立一些时序逻辑的上界S.帕西和T.廷切夫【Inf.Compute.93，263-332（1991；Zbl 0732.03021号)]和G.德贾科莫[基于类的知识表示形式的可决定性，罗马大学“La Sapienza”博士论文（1995年）]。最后，我们对结果与描述逻辑的相关性进行了一些评论，并提请注意监视点技术在证明上下界方面的实用性。 引用于37文件 MSC公司： 03B44号 时间逻辑 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：混合逻辑;时序逻辑;计算复杂性;可满足性问题 引文：Zbl 0732.03021号 PDF格式BibTeX公司 XML格式引用 \textit｛C.Areces｝等人，日志。J.IGPL 8，第5号，653--679（2000；Zbl 0959.03011） 全文： 内政部