Axiomatisation for an asynchronous epistemic logic with sending and receiving messages. - Philippe Balbiani; Hans van Ditmarsch; Clara Lerouvillois (CoRR, 2025)

Dynamic Hypersequents for Public Announcement Logic. - Clara Lerouvillois; Francesca Poggiolesi (CoRR, 2025)