Logic of Hide-and-Seek

Logic of Hide-and-Seek

• We discuss a simple logic to describe the hide-and-seek game, and show that adding an equality constant to describe the winning condition of the seeker makes our logic undecidable.
• Collaborated with Prof. Dazhu Li, Prof. Fenrong Liu and Prof. Sujata Ghosh.
• Published in 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021).
• Full version