Message passing in a dynamic epistemic logic setting
Floor Sietsma, Jan van Eijck · 2011
We propose a framework for message passing that combines the best properties of dynamic epistemic semantics and history-based approaches. We assume that all communication is truthful and reliable. Our framework consists of Kripke models with records of sent messages in their valuations. We introduce an update operation for message sending. With this update we can study the exact epistemic consequences of sending a message. We define a class of models that is generated from initial Kripke models by means of message updates, and we axiomatize a logic for this class of models. Next, we add an update modality and sketch a procedure for defining it by means of equivalence axioms.