1. Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 606–613 (2004)
2. Aucher, G., Bolander, T.: Undecidability in epistemic planning. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-2013, pp. 27–33 (2013)
3. Balbiani, P., Fernández-Duque, D., Lorini, E.: The dynamics of epistemic attitudes in resource-bounded agents. Stud. Logica. 107(3), 457–488 (2018). https://doi.org/10.1007/s11225-018-9798-4
4. Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004). https://doi.org/10.1007/1-4020-4094-6_1
5. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions (extended abstract). In: Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge, TARK-1998, pp. 43–56 (1998)