Justification awareness
Sergei Nikolaevich Artemov · Journal of Logic and Computation · 2020
Abstract We offer a new semantic approach to formal epistemology that incorporates two principal ideas: (i) justifications are prime objects of the model: knowledge and belief are defined evidence-based concepts; (ii) awareness restrictions are applied to justifications rather than to propositions, which allows for the maintaining of desirable closure properties. The resulting structures, Justification Awareness Models, JAMs, naturally include major justification models, Kripke models and, in addition, represent situations with multiple possibly fallible justifications which, in full generality, were previously off the scope of rigorous epistemic modeling.