Justification Logic : Reasoning with Reasons - Sergei Artemov; Melvin Fitting (2019)