Activity: Talk and presentation › Professional or public presentation › Professional
Description
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.