Kluwer Academic Publishers (1996)

Heinrich Wansing
Ruhr-Universität Bochum
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
Keywords Modality (Logic Congresses  Proof theory Congresses
Categories (categorize this paper)
Buy the book $62.00 used (72% off)   $197.13 new (10% off)    Amazon page
Call number QA9.46.P76 1996
ISBN(s) 0792341201   9780792341208
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

Add more citations

Similar books and articles

First Steps in Modal Logic.Sally Popkorn - 1994 - Cambridge University Press.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
Modality, Si! Modal Logic, No!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.


Added to PP index

Total views
35 ( #273,634 of 2,330,096 )

Recent downloads (6 months)
2 ( #393,046 of 2,330,096 )

How can I increase my downloads?


My notes