The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three paProducator: SPRINGER VERLAG GMBH