Abstract

Logics of communication should provide accounts of changes in the state of information of a group of discourse participants, on the basis of message exchanged within the group. We will give an overview of the way this is done in dynamic epistemic logics, focussing on a number of different types of informative actions with their epistemic effects, and indicating the relevance of this work for semantics and pragmatics of natural language. At the end of the talk we will sketch a recent result on translating logics for generic epistemic updating into PDL (propositional dynamic logic).