
arXiv: 1705.03392
We propose a multi-agent epistemic logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents, and in the order in which they were sent. Additional to epistemic modalities the logic contains dynamic modalities for making announcements and for receiving them. What an agent believes is a function of her initial uncertainty and of the announcements she has received. Beliefs need not be truthful, because announcements already made may not yet have been received. As announcements 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 asynchronous announcement logic ( AA ). It is a reduction system that also demonstrates that any formula in AA is equivalent to one without dynamic modalities, just as for public announcement logic. A detailed example modelling message exchanging processes in distributed computing in AA closes our investigation.
FOS: Computer and information sciences, Epistemic logics, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), 330, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Artificial Intelligence, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], asynchronous systems, Distributed, Parallel, and Cluster Computing (cs.DC), public announcements, 004, Logic in Computer Science (cs.LO)
FOS: Computer and information sciences, Epistemic logics, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), 330, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Artificial Intelligence, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], asynchronous systems, Distributed, Parallel, and Cluster Computing (cs.DC), public announcements, 004, Logic in Computer Science (cs.LO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
