[1]

Hintikka J. 1962. Knowledge and belief: an introduction to the logic of the two notions. Ithaca: Cornell University Press. https://hdl.handle.net/2324/1000461361
[2]

Fagin R, Halpern J, Moses Y, and Vardi M. 1995. Reasoning About Knowledge. US: MIT Press. 10.7551/mitpress/5803.001.0001
[3]

Plaza J. 1989. Logics of public communications. In Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, eds. Emrich ML, Pfeifer MS, Hadzikadic M, Ras Z. Oak Ridge National Laboratory. pp. 201–216
[4]

van Ditmarsch H, van der Hoek W, Kooi B. 2007. Dynamic epistemic logic. Vol. 337. Dordrecht: Springer. doi: 10.1007/978-1-4020-5839-4
[5]

Kooi B, Renne B. 2011. Generalized arrow update logic. In TARK XIII, Theoretical Aspects of Rationality and Knowledge: Proceedings of the Thirteenth Conference (TARK 2011), Groningen, The Netherlands, July 12–14, 2011. US: Association for Computing Machinery. pp. 205–211 10.1145/2000378.2000403
[6]

van Ditmarsch H, van der Hoek W, Kooi B, Kuijer L. 2020. Arrow update synthesis. Information and Computation 275:104544

doi: 10.1016/j.ic.2020.104544
[7]

Kooi B and Renne B. 2011. Arrow update logic. The Review of Symbolic Logic 4:536−559

doi: 10.1017/S1755020311000189
[8]

Hales J. 2013. Arbitrary action model logic and action model synthesis. 2013 28th Annual ACM/IEEE Symposium on Logic and Computer Science (LICS), 25–28 June 2013, New Orleans, USA. USA: IEEE. pp. 253–262 doi: 10.1109/LICS.2013.31
[9]

Baltag A, Renne B. 2016. Dynamic epistemic logic. In The Stanford Encyclopedia of Philosophy, ed. Zalta EN. Winter 2016 Edition. Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/win2016/entries/dynamic-epistemic
[10]

Artemov S. 2020. Observable Models. In Logical Foundations of Computer Science. LFCS 2020. Lecture Notes in Computer Science, eds. Artemov S, Nerode A. Vol. 11972. Cham: Springer. pp. 12–26. doi: 10.1007/978-3-030-36755-8_2
[11]

Herzig A. 2017. Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Journal of Applied Non-Classical Logics 27:328−341

doi: 10.1080/11663081.2017.1416036
[12]

Aucher G, Schwarzentruber F. 2013. On the complexity of dynamic epistemic logic. TARK 2013: Theoretical Aspects of Rationality and Knowledge, Proceedings of the 14th Conference — Chennai, India, ed. Schipper BC. Davis, US: University of California. pp. 19–28 doi: 10.48550/arXiv.1310.6406
[13]

Baltag A, Smets S. 2008. A qualitative theory of dynamic interactive belief revision. In Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games, eds. Bonanno G, van der Hoek W, Wooldridge M. Vol. 3. Netherlands: Amsterdam University Press. pp. 11–58 www.jstor.org/stable/j.ctt46mz4h.4
[14]

van Ditmarsch H. 2013. Revocable Belief Revision. Studia Logica 101:1185−1214

doi: 10.1007/s11225-013-9529-9
[15]

Lorini E. 2019. Exploiting belief bases for building rich epistemic structures. Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, Toulouse, France, 17–19 July 2019, ed. Moss LS. Vol. 297. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. pp. 332–353 doi: 10.4204/EPTCS.297.21
[16]

Lorini E. 2020. Rethinking epistemic logic with belief bases. Artificial Intelligence 282:103233

doi: 10.1016/j.artint.2020.103233
[17]

van Ditmarsch H, Halpern J, van der Hoek W, Kooi B. 2015. Handbook of epistemic logic. London, UK: College Publications.
[18]

Blackburn P, de Rijke M, Venema Y. 2001. Modal Logic. Vol. 53. UK: Cambridge University Press. doi: 10.1017/CBO9781107050884
[19]

Wen X, Yu Q, Liu Y. 2013. Multi-agent epistemic explanatory diagnosis via reasoning about actions. IJCAI '13: Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, Beijing, China, August 3–9, 2013. USA: AAAI Press. pp. 1183 –1190 https://dl.acm.org/doi/10.5555/2540128.2540298
[20]

van Benthem J, Smets S. 2015. Dynamic Logics of belief change. In Handbook of Epistemic Logic, ed. van Ditmarsch H, Halpern JY, van der Hoek W, Kooi B. College Publications. pp. 313–393 doi: 10.3166/jancl.17.129-155
[21]

Hansson S. 2022. Logic of belief revision. In The Stanford Encyclopedia of Philosophy, ed. Zalta EN. US: Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/spr2022/entries/logic-belief-revision
[22]

van Ditmarsch H, van der Hoek W, Kuijer L. 2017. The undecidability of arbitrary arrow update logic. Theoretical Computer Science 693:1−12

doi: 10.1016/j.tcs.2017.07.018