Knowledge Representation

Use modal, temporal, and epistemic logics to express the following: