S5 Solution to the Red Hat Puzzle

Disputatio 2 (22):1 - 7 (2007)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2010-02-09

Downloads
108 (#159,307)

6 months
18 (#135,873)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Robinson
University of West Florida

Citations of this work

No citations found.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Convention: A Philosophical Study.David Lewis - 1969 - Synthese 26 (1):153-157.
Convention: A Philosophical Study.David K. Lewis - 1971 - Philosophy and Rhetoric 4 (2):137-138.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.

View all 8 references / Add more references