H. Wansing (ed.)
|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||$105.00 used (58% off) $150.00 new (45% off) $245.35 direct from Amazon (9% off) Amazon page|
|Call number||QA9.46.P76 1996|
|Through your library||Configure|
Similar books and articles
Sally Popkorn (1994). First Steps in Modal Logic. Cambridge University Press.
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
George Boolos (1993). The Logic of Provability. Cambridge University Press.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Pavel Hrubeš (2007). Lower Bounds for Modal Logics. Journal of Symbolic Logic 72 (3):941 - 958.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Added to index2009-01-28
Total downloads15 ( #85,965 of 722,928 )
Recent downloads (6 months)1 ( #61,087 of 722,928 )
How can I increase my downloads?