Modelling informative actions
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 logic, focussing on a number of different types of informative actions with their epistemic effects, and presenting a number of new results. At the end of the talk we will indicate the relevance of this work for semantics and pragmatics of natural language.