Justification Logic Reasoning with Reasons

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.