1. G. Aucher. Supervisory control theory in epistemic temporal logic. In A. L. C. Bazzan, M. N. Huhns, A. Lomuscio, and P. Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS’14, Paris, France, May 5–9, 2014, pages 333–340. IFAAMAS/ACM, 2014.
2. J. Czelakowski. Elements of formal action theory. In Logic, Action, and Information, pages 3–62, 1996.
3. H. v. Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic. Springer Publishing Company, Incorporated, 1st edition, 2007.
4. K. Engelhardt, R. van der Meyden, and Y. Moses. Knowledge and the logic of local propositions. In TARK, pages 29–41, 1998.
5. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. MIT Press, 1995.