We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we propose a dynamic epistemic logic. We show how to correct transmission errors due to faulty messages without a central authority coordinating protocol execution, how this affects optimality, and how this compares to bounded memory and full information protocols.
@article{arxiv.2605.05801,
title = {Self-Correcting Gossip Protocols},
author = {Giorgio Cignarale and Hans van Ditmarsch and Stephan Felber and Malvin Gattinger and Hugo Rincon Galeana and Vaishnavi Sundararajan},
journal= {arXiv preprint arXiv:2605.05801},
year = {2026}
}