托马斯·威尔克 过去、现在和无限的未来。 （英语） Zbl 1388.03040号 Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 95，14 p.（2016）。 小结：我应该在沃尔夫冈·托马斯的退休典礼上发表一篇演讲。沃尔夫冈早些时候给我打过电话，提出了一些关于时序逻辑的问题，但当时我没有得到很好的答案。我在典礼上决定要做的是再次展开对话，并展示如果我能更加努力地回答他的问题，对话会如何演变。这是与沃尔夫冈的想象对话。其贡献是：（1）第一次将反义欧米伽自动机直接翻译成未来时间公式，（2）定义了单词的双机器，（3）将任意时间公式（包括未来和过去的运算符）翻译成反义欧米伽双机器，以及（4）基于自动机的分离证明：每一个任意的时态公式都等价于纯未来、现在和纯过去公式的布尔组合，当用\（\omega \）-单词解释时。关于整个系列，请参见[兹比尔1351.68012]. 引用于三文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 03B44号 时间逻辑 关键词：线性时间时序逻辑；分离；后向确定性omega自动机；反绿 PDF格式BibTeX公司 XML格式引用 \textit{T.Wilke}，LIPIcs——莱布尼茨国际程序。通知。55，第95条，第14页（2016年；Zbl 1388.03040） 全文： DOI程序