Infinitary and Cyclic Proof Systems for Transitive Closure Logic

Liron Cohen, Reuben N. S. Rowe

Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive…