Proof theory of modal logic - Wansing, Heinrich (Boston : Kluwer Academic Publishers, 1996)
Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993
Includes bibliographical references and index
Keywords: Modality (Logic) -- Congresses; Proof theory -- Congresses