Axiomatizing Eventual Common Knowledge

Authors: Roman Kuznets, R. Randrianomentsoa, T. Studer
Publication year: 2026
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: Logic, Language, Information, and Computation. WoLLIC 2026 Proceedings
Projects: Knowledge in the Age of Distrust
Bibliographic citation: KUZNETS, Roman, RANDRIANOMENTSOA, R., STUDER, T. Axiomatizing Eventual Common Knowledge. In: JOHANN, P., DE QUEIROZ, R., eds. Logic, Language, Information, and Computation. WoLLIC 2026 Proceedings. Cham: Springer, 2026, S. 31-49. Lecture Notes in Computer Science, 16757. ISBN 978-3-032-33485-5. ISSN 0302-9743
Dostupné z: doi:10.1007/978-3-032-33486-2_3.
DOI: 10.1007/978-3-032-33486-2_3
ID: 649348
Online record: View online record

Abstract

Common knowledge plays a central role in modeling coordination in multi-agent systems, yet classical results show that even arbitrarily small temporal uncertainty prevents it from ever being attained in practical systems. This has motivated a range of approximations to common knowledge, including e-common knowledge and eventual common knowledge, which relax the requirement that all levels of mutual knowledge hold simultaneously. These notions aim to retain the logical structure of common knowledge while making it compatible with temporal imprecision. In this paper, we investigate the logic of eventual common knowledge and provide a sound and complete Hilbert-style axiomatization.