.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof Theory of Modal Logic
Heinrich . Ed(S): Wansing
€ 200.59
FREE Delivery in Ireland
Description for Proof Theory of Modal Logic
Hardback. Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430.
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
Hardback
Publication date
1996
Publisher
Kluwer Academic Publishers United States
Number of pages
318
Condition
New
Series
Applied Logic Series
Number of Pages
318
Place of Publication
Dordrecht, Netherlands
ISBN
9780792341208
SKU
V9780792341208
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof Theory of Modal Logic