Proof theory of modal logic
By: edited by Heinrich Wansing.
Contributors: Wansing, H.
Series: Applied logic series ;; v. 2
Publisher: Kluwer
Published: 1996
Place of publication: Boston
Language: eng
Number of pages: 317
Subjects: Modality (Logic) -- Congresses; Proof theory -- Congresses
Notes: Includes bibliographical references and index.
Proceedings of a workshop held at the University of Hamburg, Nov. 19-20, 1993.