A Cut-Free and Invariant-Free Sequent Calculus for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

Browse the full CSL paper archive.