M2 internship: Structural properties of Dynamic Epistemic Arenas

Description This internship subject is purely theoretical to provide a crucial understanding of phenomena arising in multi-agent systems analysis. Multi-agent systems behaviours can be modelled by combining two ingredients (as proposed in Dynamic Epistemic Logic [vDvHK2007]): 1. Epistemic models, that we call “situations”, represent a static situation: these are graphs…

Continue reading