Characterizing perfect recall using next-step temporal operators in S5 and sub-S5 Epistemic Temporal Logic

Andreas Witzel

We review the notion of perfect recall in the literature on interpreted systems, game theory, and epistemic logic. In the context of Epistemic Temporal Logic (ETL), we give a (to o…