Axiomatisation for an asynchronous epistemic logic with sending and receiving messages

Open in new window