TY  - BOOK
AU  - Artemov,S.N.
AU  - Fitting,Melvin
TI  - Justification logic: reasoning with reasons 
T2  - Cambridge tracts in mathematics
SN  - 9781108348034 (ebook)
AV  - QA9 .A78 2019
U1  - 511.3 23
PY  - 2019///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Inquiry (Theory of knowledge)
KW  - Science
KW  - Theory reduction
KW  - Reasoning
N1  - Title from publisher's bibliographic system (viewed on 24 Apr 2019)
N2  - 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
UR  - https://doi.org/10.1017/9781108348034
ER  -