TY  - RPRT
TI  - Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
AU  - Philippe Balbiani
AU  - Hans van Ditmarsch
AU  - Clara Lerouvillois
PY  - 2026
UR  - https://arxiv.org/abs/2510.02890
ID  - 2510.02890
ER  -