1 citations · 1 across the 3 of their papers we have counts for
3 papers
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
Dynamic Hypersequents for Public Announcement Logic
Clara Lerouvillois, Francesca Poggiolesi
Dynamic Epistemic Logic extends classical epistemic logic by modeling not only static knowledge but also its evolution through information updates. Among its various systems, Publi…
Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
We investigate a logic for asynchronous announcements wherein the sending of the messages by the environment is separated from their reception by the individual agents. Both come w…