Proof theory of modal logic - Wansing, Heinrich (Dordrecht: Kluer Academic Publishers, 1996)
Index.
Bibliography.
Keywords: Modal logic; Proof theory