1. Robert C. Robinson (2007). S5 Solution to the Red Hat Puzzle. Disputatio 2 (22).
    Abstract: I argue that the solution to the Red Hat Problem, a puzzle derived from interactive epistemic logic, requires S5. Interactive epis- temic 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.
    Reading list   |  Discuss  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | At my library
    5 downloads  |  Added to index: 2010-02-09  |  Mark as duplicate  |  Remove from index  |  Revision history
    Bookmark and Share