 As mentioned before, two famous requirements have been those of perfect recall (the agent’s knowledge is not decreased over time) and no learning (the agent’s knowledge is not increased over time). In the simple fusion of epistemic logic and the future fragment of tense logic described above, these two requirements can be expressed, respectively, as 