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