Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof Theory of Modal Logic
Heinrich . Ed(S): Wansing
€ 185.30
FREE Delivery in Ireland
Description for Proof Theory of Modal Logic
Paperback. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL; PBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 510.
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.
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.
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
318
Condition
New
Series
Applied Logic Series
Number of Pages
318
Place of Publication
Dordrecht, Netherlands
ISBN
9789048147205
SKU
V9789048147205
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof Theory of Modal Logic