[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


https://www.isa-afp.org/entries/Blue_Eyes.html


Enjoy,

Manuel




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