<abstract xmlns="http://www.w3.org/1999/xhtml">I argue that the solution to the Red Hat Problem, a puzzle derived from interactive epistemic logic, requires <italic>S5</italic>. Interactive epistemic logic is set out in formal terms, and an attempt to solve the red hat puzzle is made in <italic>K</italic>τσ, <italic>K</italic>ρτ, and <italic>K</italic>ρσ, each of which fails, showing that a stronger system, <italic>K</italic>τσρ is required.</abstract>

I argue that the solution to the Red Hat Problem, a puzzle derived from interactive epistemic logic, requires S5. Interactive epistemic logic is set out in formal terms, and an attempt to solve the red hat puzzle is made in Kτσ, Kρτ, and Kρσ, each of which fails, showing that a stronger system, Kτσρ is required.

<italic>S5</italic> solution to the red hat puzzle

Disputatio

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":{"italic":"S5","content":"solution to the red hat puzzle"}}

I argue that the solution to the Red Hat Problem, a puzzle derived from interactive epistemic logic, requires S5. Interactive epistemic logic is set out in...

S5 solution to the red hat puzzle

Published Online: Dec 31, 2018

Page range: 131 - 137

DOI: https://doi.org/10.2478/disp-2007-0004

© 2007 Robert C. Robinson, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.