{"product_id":"9780792341208","title":"Applied Logic Series","description":"\u003ch1\u003eApplied Logic Series\u003c\/h1\u003e \u003ch2\u003eWansing, Heinrich\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eProof Theory of Modal Logic\u003c\/em\u003e 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1996-10-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792341208\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-94-017-2798-3\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 318\u003c\/p\u003e ","brand":"Springer Netherlands","offers":[{"title":"Default Title","offer_id":45578565222540,"sku":"9780792341208","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792341208.jpg?v=1775743119","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792341208","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}