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

Joxe Gaintzarain Montserrat Hermo Paqui Lucio Marisa Navarro Fernando Orejas

Published in: CSL (2007)

Keyphrases

sequent calculus
inference rules