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