Books by Sergei Artemov

Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a framework for the reliability of assertions. This book, the first in the area, is a systematic and modern account that will appeal to readers from a variety of disciplines to which the theory applies.