 Temporal-epistemic logics bring together temporal logics and (multi-agent) logics of knowledge. Some interesting properties can naturally be expressed by combining the epistemic modality \(K\) (“the agent knows that”) with temporal operators, e.g. perfect recall: \(K \varphi \to GK \varphi\) (If the agent knows \(\varphi\) now, then the agent will always know \(\varphi\) in the future) and no learning: \(FK \varphi \to K \varphi\).