Everyone knows that everyone knows

DOI10.1007/978-3-030-53654-1_5zbMath1498.03067arXiv2011.13203MaRDI QIDQ2658278

Rahim Ramezanian, Rasoul Ramezanian, Hans P. van Ditmarsch, Malvin Gattinger

Publication date: 19 March 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2011.13203

zbMATH Keywords

modal logic; dynamics; distributed systems; multi-agent systems; common knowledge; PDL; multi-agent knowledge; gossip protocol; higher-order epistemic goals; telephone problem

Mathematics Subject Classification ID

91D30: Social networks; opinion dynamics

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

03B70: Logic in computer science

68M12: Network protocols

03B80: Other applications of logic

03-XX: Mathematical logic and foundations