Abstract

Light version of DEMO for composing epistemic models, based on the code for the ESSLLI 2008 course on Dynamic Epistemic Logic (see http:// homepages.cwi.nl/~jve/courses/esslli08/) extended with vocabulary information [EWS10]. Factual change is also treated. The piece ends with some examples: the muddy children, and hat puzzles, dealing with the interaction of perception and change [Eijar]