H. Wansing (ed.)
Kluwer Academic Publishers (1996)
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) $193.85 used (28% off) $269.00 direct from Amazon Amazon page|
|Call number||QA9.46.P76 1996|
Transfer of Sequent Calculus Strategies to Resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet
Translating Graded Modalities Into Predicate Logic.Hans Jürgen Ohlbach, Renate A. Schmidt & Ullrich Hustadt
References found in this work BETA
No references found.
Citations of this work BETA
Logical Connectives for Constructive Modal Logic.Heinrich Wansing - 2006 - Synthese 150 (3):459-482.
Similar books and articles
A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge University Press.
Added to index2009-01-28
Total downloads30 ( #170,185 of 2,164,866 )
Recent downloads (6 months)3 ( #128,940 of 2,164,866 )
How can I increase my downloads?