Buy this book
- About this book
-
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.
- Table of contents (15 chapters)
-
-
A Contraction-Free Sequent Calculus for S4
Pages 3-15
-
Transfer of Sequent Calculus Strategies to Resolution for S4
Pages 17-31
-
A Linear Approach to Modal Proof Theory
Pages 33-43
-
Refutations and Proofs in S4
Pages 45-51
-
Relational Proof Systems for Modal Logics
Pages 55-78
-
Table of contents (15 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Proof Theory of Modal Logic
- Editors
-
- Heinrich Wansing
- Series Title
- Applied Logic Series
- Series Volume
- 2
- Copyright
- 1996
- Publisher
- Springer Netherlands
- Copyright Holder
- Springer Science+Business Media Dordrecht
- eBook ISBN
- 978-94-017-2798-3
- DOI
- 10.1007/978-94-017-2798-3
- Hardcover ISBN
- 978-0-7923-4120-8
- Softcover ISBN
- 978-90-481-4720-5
- Series ISSN
- 1386-2790
- Edition Number
- 1
- Number of Pages
- X, 318
- Topics
