Perfect recall of imperfect knowledge

  • Authors:

  • Andreas Witzel

  • Affiliations:

  • New York University, New York

  • Venue:
  • Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Perfect recall, intuitively the ability to remember all past mental states, has been predominantly studied in the context of interpreted systems and game theory, which mostly consider S5 systems (of "correct" knowledge). More recently, the notion has become of interest to the epistemic logic community, where weaker systems are not unusual. Building upon recent work where we studied different definitions of perfect recall in Epistemic Temporal Logic (ETL), we argue that the intuitive motivations given there are still valid in such sub-S5 settings. However, definitions that were equivalent in S5 cease to be so without S5, so that these less restrictive settings allow for a more fine-grained comparison of the different definitions and their underlying intuitions.