In the April 2004 Scientific American, Dennis Shasha's Puzzling Adventures column discusses the game of Bluffhead. See this post for links to other entertaining discussions of dynamic and epistemic logic.
Posted by Mark Liberman at March 31, 2004 07:47 AM