Justification logic : reasoning with reasons - Artemov, S. N. (Cambridge tracts in mathematics ;, 2019)