Dynamic Epistemic Logics

Abstract

Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or believe about the world and about what others know or believe. This chapter gives an overview of dynamic epistemic logics, and traces some connections with propositional dynamic logic, with planning and with probabilistic updating.