乔里·恩格弗里特；简·特雷尔 时序逻辑的线性、分支时间和联合闭包语义。 （英语） Zbl 1018.03017号 J.逻辑语言信息。 11，第4期，389-425（2002）. 提出了一种基于所谓联合闭包模型的时序逻辑方法。讨论了这种方法与线性和分支时间模型之间的关系。利用基于范畴理论概念的通用代数结构，证明了一组线性模型可以合并为一个唯一的分支时间模型。研究了所描述代数结构的逻辑性质。审核人：贾科莫·博纳诺（戴维斯） MSC公司： 03B44号 时间逻辑 关键词：线性时间；语义学；时序逻辑；接缝闭合模型；分支时间 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Logic Lang.Inf.11，No.4，389--425（2002；Zbl 1018.03017） 全文： 内政部