Non-well-founded Proof Theory of Transitive Closure Logic.

Liron Cohen Reuben N. S. Rowe

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

proof theory
transitive closure
default reasoning
expressive power
proof theoretic
automated reasoning
query evaluation
query language
first order logic
reasoning problems
directed acyclic graph
spatial databases
relational algebra
belief revision
probabilistic reasoning
databases