Login / Signup

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.

Brian HillFrancesca Poggiolesi
Published in: Stud Logica (2010)
Keyphrases
  • sequent calculus