Dynamic Epistemic Logic in Game Design

Abstract

Dynamic Epistemic Logics are a set of multimodal logics that deal with knowledge and change. We argue that the theory for this formalism is mature enough to start a practical implementation, while at the same time having a sizable amount of theoretical expansions. We also claim that these two factors make it an attractive formalism for new features in games featuring an agent’s internal model, like planning for gathering information, acting without revealing one’s goals or feeding possibly false information to a set of agents to influence their beliefs, augmenting already existing mechanisms.