ICE-TCS Lectures Series - Joshua Sack - Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic
Tuesday the 3rd of March, Joshua Sack (Reykjavik University) will deliver a talk entitled "Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic" at 10:30 in room K5 at Reykjavik University (Kringlan 1).
ABSTRACT
Dynamic Epistemic Logic (DEL) describes how knowledge is updated upon new information. Consider the following puzzle: One day, three very intelligent young siblings went out to play in the park. After a while, their father came down to the park and noticed that they all had mud on their foreheads. He then announced that at least one of them was muddy, and then asked them if they were muddy. They all answered simultaneously "I don't know". He repeated his question a second time, after which they again said "I don't know". But after he asked a third time, they all responded "yes, I am muddy". How the muddy children came to know that they were muddy is a puzzle of both mathematical induction and DEL. This talk will address this puzzle as well as other puzzles of DEL; it and will discuss various languages related to DEL, including temporal DEL that allows us to express past events.
