The Dynamics of Communication
Jan van Eijck, Chuang Tzu · 2004
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). The framework is that of Baltag, Moss and Solecki, The Logic of Epistemic Actions [1]. Suppose I try saying something. What way do I have of knowing that if I say I know something I don’t really not know it? Or what way do I have of knowing that if I say I don’t know something I don’t really in fact know it?