Speaker: Yuri David Santos (Faculty of Philosophy, University of Groningen)
Date and Time: Thursday, November 2nd 2017, 16:00-17:30
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: A Dynamic Informational-Epistemic Logic.
Abstract. Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this work, we will explore a four-valued epistemic logic designed to deal with situations of this sort, where the agents only have knowledge about the available information (not about facts), which can be incomplete or conflicting. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. Last, we discuss methods of consolidating this “knowledge about information” into factual knowledge/belief.