约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 连续时间度量模式的表达。 （英语） Zbl 1128.03007号 日志。方法计算。科学。 3，第1号，论文3，11页（2007年）. 小结：我们证明了a.Pnueli的一个猜想，并加强了它，它显示了一系列“计数模态”，其中没有一个在先前模态生成的时间逻辑中可以表达，在实线上，或在正实域上。此外，没有任何有限时态逻辑可以在实线上表示所有时态逻辑，因此没有任何有限度量时态逻辑是表示完整的。 引用于三评论引用于13文件 MSC公司： 03B44号 时序逻辑 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich}，Log。方法计算。科学。3，第1号，论文3，11页（2007；Zbl 1128.03007） 全文： 内政部