Epistemic actions and minimal models
Gerard R. Renardel de Lavalette, Hans van Ditmarsch · 2002
This paper is about the dynamics of epistemic models, i.e. multimodal S5 models. We investigate the effect of certain epistemic actions on such models, with special interest for minimality of the resulting models and the stream of information between groups of agents. Our choice of models and actions is inspired by epistemic states and moves that occur in knowledge games like Cluedo. We focus on intrinsic models M = (W, R, V), where worlds w,v C W are structured objects, carrying enough information to define (w, v) C R and Vw in terms of w and v