no code implementations • 27 Jul 2017 • Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo
We present four logic puzzles and after that their solutions.
no code implementations • 3 Mar 2015 • Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems.