Grädel，E。 关于传递闭包逻辑。 （英语） Zbl 0783.03012号 Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 149-163 (1992). N.Immerman（1987）引入了传递闭包逻辑（（text{FOL}+\text{TC}），因为它是一阶逻辑（FOL）的扩展，确切地说是通过定义传递闭包的能力（事实证明它不是一阶可表达的）。将\（（\text{FOL}+\text{TC}）限制为那些只出现TC运算符的正数的公式，称为正传递闭包逻辑（（\text{FOL{+\text{posTC}，）。作者使用Ehrenfeucht-Fraíssé博弈技术指出了（（text{FOL}+\text{TC}）在任意有限结构和有序结构上的不同行为，并确定了（（\text{FOL{+\text}posTC}）中量词类的无限层次。最后，在Datalog（一种纯形式由无函数和无否定Horn子句组成的数据库查询语言）的某些扩展中，证明了\（（\text{FOL}+\text{TC}）\）及其片段与线性程序具有相同的表达能力。有关整个系列，请参见[Zbl 0772.68004号].审核人：N.Curteanu（伊阿什） 引用于11文件 MSC公司： 03B70号 计算机科学中的逻辑 68T27型 人工智能中的逻辑 03B35型 证明和逻辑操作的机械化 03D55号 可计算性和可定义性的层次结构 第68页，共15页 数据库理论 关键词：数据日志查询语言语义;正传递闭包逻辑;埃伦费丘特·弗雷塞游戏;有限结构;有序结构;表现力;线性程序 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}，莱克特。注释计算。科学。626149-163（1992年；Zbl 0783.03012）