[isabelle] New in the AFP: Solution to the xkcd Blue Eyes puzzle

We now have this lovely little gem of epistemic logic:

Solution to the xkcd Blue Eyes puzzle

by Jakub Kądziołka

In a puzzle published by Randall Munroe [1], perfect logicians forbidden
from communicating are stranded on an island, and may only leave once
they have figured out their own eye color. We present a method of
modeling the behavior of perfect logicians and formalize a solution of
the puzzle.

[1]: https://xkcd.com/blue_eyes.html




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.