A stroll in dynamic epistemic logic

Guillaume Aucher

Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lot on the nature of this modeling point of view. Classically, in epistemic logic, the models built are supposed to represent the situation from an external and objective point of view. We call this modeling approach the objective approach. In this talk, we study the modeling point of view of a particular agent involved in the situation with other agents. We propose a logical formalism based on epistemic logic that this agent can use to represent "for herself" the surrounding world. We call this modeling approach the subjective approach. We set some formal connections between the subjective approach and the objective approach and we axiomatize the subjective approach. Then we show how this new subjective approach allows for a straightforward generalization of the AGM belief revision theory to the multi-agent case. We also investigate some multi-agent rationality postulates in the AGM style. Finally, we independently sketch a general formalism for the objective approach.