娜塔莎·库托尼娜；马尔滕·德·里杰克 时序逻辑的互模拟。 （英语） Zbl 0882.03017号 J.逻辑语言信息。 6，第4期，403-425（1997）。 摘要：我们用自和至定义了时态逻辑的互模拟。将这一新概念与现有的互模拟概念进行比较，然后用Since和Until来发展时间逻辑的基本模型理论。我们的结果涉及不变性和可定义性。最后，我们简要讨论了我们的想法的广泛适用性。 引用于12文件 MSC公司： 03B45号 模态逻辑（包括规范的逻辑） 关键词：表达能力；互模拟；具有Since和Until的时态逻辑；模型理论；可定义性 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurtonina}和\textit{M.de Rijke}，J.Logic Lang.Inf.6，No.4，403--425（1997；Zbl 0882.03017） 全文： 内政部