Displaying modal logic - Wansing, Heinrich (Trends in logic : Studia logica Library ;, 1998)