Artemov, S. N., <br/><br/>
Justification logic :  reasoning with reasons / 
Sergei Artemov, Melvin Fitting. 
 - Cambridge :  Cambridge University Press,  2019. 
 - 1 online resource (xxi, 247 pages) :  digital, PDF file(s). 
 - Cambridge tracts in mathematics ;  216 .
 - Cambridge tracts in mathematics ;  216. .
<br/><br/> Title from publisher's bibliographic system (viewed on 24 Apr 2019). 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9781108348034 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Inquiry (Theory of knowledge)<br/>Science--Theory reduction.<br/>Reasoning.
<br/><br/><label>LC Class. No.: </label>QA9  / .A78 2019 
<br/><br/><label>Dewey Class. No.: </label>511.3