Gentzen Calculi for Modal Propositional Logic

This book is about proof theory for (the main systems of) modal logic. It is the first book to give...