Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni. An Epistemic Logic for Modular Development of Multi-Agent Systems. In Natasha Alechina, Matteo Baldoni, Brian Logan 0001, editors, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Volume 13190 of Lecture Notes in Computer Science, pages 72-91, Springer, 2021. [doi]
Abstract is missing.