Location of Repository

S5 solution to the red hat puzzle

By  and Robert C. Robinson and Robert C. Robinson


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. 1. Interactive knowledge Interactive epistemology is just what it sounds like: knowledge about others ’ knowledge, as in ‘I know that you know that I know…’. Epistemic logic goes back to Hintikka 1962, but the formal analysis of interactive epistemology starts with Aumann 1976. The formal system I describe follows Aumann, especially in Aumann 1999a an

Year: 2011
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://disputatio.com/articles... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.