Affiliation:
1. The City University of New York, the Graduate Center, 365 Fifth Avenue, New York City, NY 10016, USA
Abstract
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.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference29 articles.
1. Operational modal logic;Artemov,1995
2. Explicit provability and constructive semantics;Artemov;Bulletin of Symbolic Logic,2001
3. The logic of justification;Artemov;The Review of Symbolic Logic,2008
4. The ontology of justifications in the logical setting;Artemov;Studia Logica,2012