Bryan Renne (ILLC, Amsterdam) intervient sur "The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence" dans le cadre du projet ANR IMI.
I will describe recent work joint with Alexandru Baltag and Sonja Smets (both ILLC Amsterdam) on a logic for reasoning about evidence and its relation to justifiable "implicit" belief and knowledge and their explicit counterparts. The logic makes use of a number of evidence-related notions such as availability and admissibility of evidence and is based on an innovative modification of Melvin Fitting's semantics for Sergei Artemov's Justification Logic. In this framework, one may preempt Gettier-type counterexamples. Also, since the logic incorporates ideas from belief revision and awareness logics, the approach provides an account of evidence-based, explicitly justified defeasible knowledge that can address a variety of notions of (logical) omniscience.