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...
Saved in:
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
-
Intuitionistic logic, model theory and forcing.
by: Fitting, Melvin, 1942-
Published: (1969) -
Elements of logical reasoning /
by: Von Plato, Jan
Published: (2013) -
Logical reasoning with diagrams /
Published: (1996) -
Proof, logic, and formalization /
Published: (1992) -
Logic, computers, and sets.
by: Wang, Hao, 1921-
Published: (1970)