1996
Hardback (31 Oct 1996)
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: | 9780792341208 |
| Publisher: | Springer Netherlands |
| Imprint: | Springer |
| Pub date: | 31 Oct 1996 |
| Edition: | 1996 |
| DEWEY: | 511.3 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 317 |
| Weight: | 1430g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 19mm |
$0.66off
Paperback
Published 10 Jul 2008
Save $0.66
$18.60off
Paperback
Published 18 May 2023
Save $18.60
$40.68off
Paperback
Published 22 Aug 2012
Save $40.68
$18.34off
Hardback
Published 09 Feb 2023
Save $18.34
