Proof theory of modal logic - Wansing, Heinrich (Applied logic series, 1996)