Francesca Poggiolesi

• Gentzen Calculi for Modal Propositional Logic