{"product_id":"justification-logic-book-sergei-artemov-9781108424912","title":"Justification Logic","description":"Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52483239149841,"sku":"NLS9781108424912","price":174.09,"currency_code":"USD","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":54719021973777,"sku":"NIN9781108424912","price":159.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781108424912.jpg?v=1786119238","url":"https:\/\/www.worldofbooks.com\/products\/justification-logic-book-sergei-artemov-9781108424912","provider":"World of Books ","version":"1.0","type":"link"}