1. A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004). A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004).
2. A. Baltag L. Moss and S. Solecki. 1998. The logic of public announcements common knowledge and private suspicions. In 7th TARK. 43--56. A. Baltag L. Moss and S. Solecki. 1998. The logic of public announcements common knowledge and private suspicions. In 7th TARK. 43--56.
3. Chitta Baral , Gregory Gelfond , Enrico Pontelli , and Tran Cao Son . 2012 . An Action Language for Reasoning about Beliefs in Multi-Agent Domains . In Proceedings of NMR. Chitta Baral, Gregory Gelfond, Enrico Pontelli, and Tran Cao Son. 2012. An Action Language for Reasoning about Beliefs in Multi-Agent Domains. In Proceedings of NMR.
4. Chitta Baral , Gregory Gelfond , Enrico Pontelli , and Tran Cao Son . 2020. An Action Language for Multi-Agent Domains: Foundations. arXiv.org ( 2020 ), https://arxiv.org/abs/1511.01960v3. Chitta Baral, Gregory Gelfond, Enrico Pontelli, and Tran Cao Son. 2020. An Action Language for Multi-Agent Domains: Foundations. arXiv.org (2020), https://arxiv.org/abs/1511.01960v3.
5. Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic