A Cyclic Proof System for Full Computation Tree Logic.

Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata

Browse the full CSL paper archive.