Abstract
We propose a multi-agent epistemic logic of asynchronous announcements, wheretruthful announcements are publicly sent but individually received by agents,and in the order in which they were sent. Additional to epistemic modalitiesthe logic contains dynamic modalities for making announcements and forreceiving them. What an agent believes is a function of her initial uncertaintyand of the announcements she has received. Beliefs need not be truthful,because announcements already made may not yet have been received. Asannouncements are true when sent, certain message sequences can be ruled out,just like inconsistent cuts in distributed computing. We provide a complete axiomatization for this \emph{asynchronous announcementlogic} (AA). It is a reduction system that also demonstrates that any formulain $AA$ is equivalent to one without dynamic modalities, just as for publicannouncement logic. A detailed example modelling message exchanging processesin distributed computing in $AA$ closes our investigation.