1. Aczel, P.: Non-well-founded sets, CSLI lecture notes series, vol. 14. CSLI (1988)
2. Aucher, G., Bolander, T.: Undecidability in epistemic planning. In: Rossi, F. (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 3–9 August 2013, pp. 27–33. IJCAI/AAAI (2013)
3. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, 22–24 July 1998, pp. 43–56. Morgan Kaufmann (1998)
4. Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: An action language for multi-agent domains: foundations. CoRR abs/1511.01960 (2015)
5. Bolander, T., Andersen, M.B.: Epistemic planning for single and multi-agent systems. J. Appl. Non Class. Log. 21(1), 9–34 (2011)