It plays a central role in intelligent agent systems to model agents' epistemic states and their changes. Asynchrony plays a key role in distributed systems, in which the messages transmitted may not ...