Gentzen Calculi for Modal Propositional Logic - Poggiolesi, Francesca (Springer Netherlands, 2011)