Proof theory of modal logic (Kluwer, 1996)