{"product_id":"9789048147205","title":"Proof Theory of Modal Logic","description":"\u003cp\u003eProof 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. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":52361776070967,"sku":"00000_00000_00000_00000","price":921.0,"currency_code":"MYR","in_stock":true}],"url":"https:\/\/kinokuniya.com.my\/products\/9789048147205","provider":"Books Kinokuniya Malaysia","version":"1.0","type":"link"}