1. Aucher, G., Belle, V.: Multi-agent only knowing on planet kripke. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25-31 July 2015, pp. 2713–2719. AAAI Press (2015). http://ijcai.org/Abstract/15/384
2. Belle, V., Lakemeyer, G.: Multi-agent only-knowing revisited. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, 9-13 May 2010. AAAI Press (2010). http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1361
3. van Benthem, J., van Eijck, J., Gattinger, M., Su, K.: Symbolic model checking for dynamic epistemic logic - S5 and beyond. J. Log. Comput. 28(2), 367–402 (2018)
4. Bolander, T., Andersen, M.B.: Epistemic planning for single- and multi-agent systems. J. Appl. Non-Classical Logics 21(1), 656–680 (2011)
5. Bolander, T., Jensen, M.H., Schwarzentruber, F.: Complexity results in epistemic planning. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25-31 July 2015, pp. 2791–2797. AAAI Press (2015). http://ijcai.org/Abstract/15/395