Concurrent Dynamic Epistemic Logic

摘要: When giving an analysis of knowledge in multiagent systems, one needs a framework which higher-order information and its dynamics can both be represented. A recent tradition starting original work by Plaza treats all knowledge, on the same foot. Our is that tradition. It also fits approaches not only dynamize epistemics, but epistemize dynamics: actions (groups of) agents perform are epistemic actions. Different may have different about action taking place, including information. We demonstrate such changes require subtle descriptions. contribution to provide complete axiomatization for language van Ditmarsch, where interpreted as relation between states (pointed models) sets states. The applicability found every context strategic decision making at stake, already demonstrated game-like scenarios Cluedo card games.