Proof Theory of Modal Logic

(ed.)
Kluwer Academic Publishers (1996)
Abstract
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 $150.00 new (45% off)   $202.34 used (25% off)   $269.00 direct from Amazon    Amazon page
Call number QA9.46.P76 1996
ISBN(s) 0792341201   9780792341208
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,719
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.

Add more citations

Similar books and articles
First Steps in Modal Logic.Sally Popkorn - 1994 - Cambridge University Press.
Modality, Si! Modal Logic, No!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
Modal Logic as Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57 - 93.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
Added to PP index
2009-01-28

Total downloads
30 ( #176,856 of 2,197,266 )

Recent downloads (6 months)
1 ( #298,963 of 2,197,266 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature