S5 solution to the red hat puzzle
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.
Language: English, Portuguese
Page range: 131 - 137
Published on: Dec 31, 2018
Published by: University of Lisbon
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Related subjects:
© 2018 Robert C. Robinson, published by University of Lisbon
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.