{"product_id":"proof-theory-of-modal-logic-von-heinrich-wansing-hrsg","title":"Proof Theory of Modal Logic","description":"\n                                \n                \u003cem\u003eProof Theory of Modal Logic\u003c\/em\u003e\n                                 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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780792341208\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789048147205\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9780792341208","offer_id":50826794118,"sku":"9780792341208","price":160.49,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9789048147205","offer_id":39415271620701,"sku":"9789048147205","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/8069fb81-75e7-4215-b2e8-abc6cdbf357f.jpg?v=1772262729","url":"https:\/\/shop.autorenwelt.de\/en\/products\/proof-theory-of-modal-logic-von-heinrich-wansing-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}