Softcover reprint of hardcover 1st ed. 1996
Paperback (09 Dec 2010)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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.
| ISBN: | 9789048147205 |
| Publisher: | Springer Netherlands |
| Imprint: | Springer |
| Pub date: | 09 Dec 2010 |
| Edition: | Softcover reprint of hardcover 1st ed. 1996 |
| DEWEY: | 511.3 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 328 |
| Weight: | 510g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 17mm |
$1.28off
The Nicomachean Ethics
Paperback
Published 11 Jun 2009
Save $1.28
$2.26off
An Enquiry Concerning Human Und...
Paperback
Published 10 Jul 2008
Save $2.26
$3.58off
The Age of AI
Paperback
Published 02 Jan 2025
Save $3.58
The Joy of Abstraction
Paperback
Published 04 Apr 2024
$9.89off
Climate Science
Hardback
Published 09 Jan 2025
Save $9.89
$0.10off
Climate Science
Paperback
Published 09 Jan 2025
Save $0.10
$3.74off
A Thousand Brains
Paperback
Published 10 Nov 2022
Save $3.74
$6.36off
The Great Formal Machinery Works
Hardback
Published 15 Aug 2017
Save $6.36
Understanding Machine Understan...
Book
Published 15 Oct 2024