Justification logic : reasoning with reasons /

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 reli...

Full description

Saved in:
Bibliographic Details
Main Authors: Artemov, S. N. (Author), Fitting, Melvin, 1942- (Author)
Format: Electronic eBook
Language:English
Published: Cambridge : Cambridge University Press, 2019.
Series:Cambridge tracts in mathematics ; 216.
Subjects:
Online Access:CONNECT

Similar Items