Proof theory of modal logic - Wansing, Heinrich, (Kluer Academic Publishers, 1996)
Index.