两种形式的有用逻辑：存在性固定点逻辑与自由Datalog
摘要：DKAL中使用了一种自然的Datalog自由化。我们证明了这种自由Datalog的表达能力是存在性固定点逻辑。这篇论文的说明是自包含的。
作者：Andreas Blass (University of Michigan) and Yuri Gurevich (Microsoft Research)
论文ID：0811.0977
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-11-07