Roman Kuznets, Rojo Randrianomentsoa, Thomas Studer. Axiomatizing Eventual Common Knowledge. In Patricia Johann, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3-6, 2026, Proceedings. Volume 16757 of Lecture Notes in Computer Science, pages 31-49, Springer, 2026. [doi]
Abstract is missing.