伯恩哈德·海尼曼 命题线性时间时序逻辑的拓扑推广。 （英语） Zbl 0943.03016号 Privara，L.（编辑）等人，1997年计算机科学的数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1295, 289-297 (1997). 作者将知识逻辑（模态系统S5）与命题线性时间时序逻辑相结合。时间操作符和知识操作符通过交叉公理结合在一起，这允许拓扑概念发挥作用。正如作者所声称的，所获得的逻辑语言可能适合于描述涉及知识的程序的线性时间特性。给出了一类伪线性子集空间的完备公理化。此外，还证明了定理集的可判定性和可满足性问题的PSPACE硬度。关于整个系列，请参见[Zbl 0920.00047号].审核人：彼得·扬查尔（俄斯特拉发） MSC公司： 03B44号 时间逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B42号 知识和信念的逻辑（包括信念变化） 关键词：线性时间时序逻辑;知识逻辑;公理化;可判定性;复杂性 PDF格式BibTeX公司 XML格式引用 \textit{B.Heinemann}，莱克特。注释计算。科学。1295、289--297（1997；Zbl 0943.03016）