Acceso abierto

S5 solution to the red hat puzzle


Cite

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.

eISSN:
0873-626X
Idiomas:
Inglés, Portuguese
Calendario de la edición:
4 veces al año
Temas de la revista:
Philosophy, Selected Philosophical Movements, Analytical Philosophy