ElsinoreDynamEpistemicLogic A project modelling situations from the game Elsinore using Dynamic Epistemic Logic.