D.M.加巴伊。;I.M.霍德金森。;Reynolds，文学硕士。 存在间隙时的时间表达完整性。 （英语） Zbl 0802.03016号 Oikkonen，Juha Markku Robert（编辑）等人，《90年逻辑学术讨论会》。1990年7月15日至22日，ASL夏季会议在芬兰赫尔辛基举行。柏林：Springer-Verlag。莱克特。注释日志。2, 89-121 (1993). 这是对线性时间上时间连接词的详细研究。作者研究了新的一元连接词，定义了间隙上的复杂性概念，并证明了连接词“自”和“至”对于时间流本身是表达完整的，只有孤立的间隙。还考虑了一些比Stavi连接词弱的新连接词。研究表明，对于间隙仅为特定限制类型的时间流，它们无论如何都是表示完整的。这一领域的已知结果概述得很好。部分结果的证明尤其涉及Rabinand Gurevich关于一元二阶理论的定理。关于整个系列，请参见[Zbl 0782.00083号].审核人：V.V.Rybakov（克拉斯诺亚尔斯克） 引用于9文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：时序逻辑;时间流;时间连接词;线性时间 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}等人，Lect。注释日志。2，89-121（1993年；兹bl 0802.03016）