Axiomatizing Eventual Common Knowledge.

Roman Kuznets, Rojo Randrianomentsoa, Thomas Studer

Browse the full WoLLIC paper archive.