Justification Awareness Models
Justification Awareness Models, JAMs, incorporate 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. JAMs naturally include major justification models, Kripke models and, in addition, represent situations with multiple possibly fallible justifications. As an example, we build a JAM for Russell’s well-known Prime Minister scenario which, in full generality, was previously off the scope of rigorous epistemic modeling.
KeywordsModal logic Justification logic Epistemology Knowledge Belief
The author is grateful to Melvin Fitting, Vladimir Krupski, Elena Nogina, and Tudor Protopopescu for helpful suggestions. Special thanks to Karen Kletter for editing and proofreading this text.
- 4.Artemov, S.: Knowing the model. Published online at: arXiv:1610.04955 [math.LO] (2016)
- 5.Artemov, S.: Epistemic modeling with justifications. Published online at: arXiv:1703.07028 [math.LO] (2017)
- 15.Krupski, V.: On the sharpness and the single-conclusion property of basic justification models. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 211–220. Springer, Cham (2018)Google Scholar
- 16.Kuznets, R., Struder, T.: Justifications, ontology, and conservativity. In: Bolander, T., Braüner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 437–458. College Publications, London (2012)Google Scholar