Name: Proof Theory of Modal Logic By Heinrich Wansing
SKU: 9780792341208
Price: 365.59 AUD
Availability: InStock

Proof Theory of Modal Logic Summary

Proof Theory of Modal Logic by Heinrich Wansing

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.

Preface. Part I: Standard Proof Systems. 1. A Contraction-free Sequent Calculus for S4; J. Hudelmaier. 2. Transfer of Sequent Calculus Strategies to Resolution for S4; G. Mints, et al. 3. A Linear Approach to Modal Proof Theory; H. Schellinx. 4. Refutations and Proofs in S4; T. Skura. Part II: Extended Formalisms. 5. Relational Proof Systems for Modal Logics; E. Orlowska. 6. The Display Problem; N. Belnap. 7. Power and Weakness of the Modal Display Calculus; M. Kracht. 8. A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics; H. Wansing. 9. On the Completeness of Classical Modal Display Logic; R. Gore. 10. Modal Sequents; C. Cerrato. 11. Modal Functional Completeness; K. Dosen, Z. Petric. 12. A Computational Interpretation of Modal Proofs; S. Martini, A. Masini. 13. Gabbay-Style Calculi; S. Mikulas. Part III: Translation-Based Proof Systems. 14. Translating Graded Modalities into Predicate Logic; H.J. Ohlbach, et al. 15. From Classical to Normal Modal Logics; O. Gasquet, A. Herzig.

Additional information

Sku

NPB9780792341208

ISBN 13

9780792341208

ISBN 10

0792341201

Title

Proof Theory of Modal Logic by Heinrich Wansing

Author

Heinrich Wansing

Series

Applied Logic Series

Condition

New

Binding type

Hardback

Publisher

Springer

Year published

1996-10-31

Number of pages

318

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Proof Theory of Modal Logic Heinrich Wansing

Proof Theory of Modal Logic by Heinrich Wansing

Summary

Proof Theory of Modal Logic Summary

Proof Theory of Modal Logic by Heinrich Wansing

Table of Contents

Additional information

Customer Reviews - Proof Theory of Modal Logic