This document is unfortunately not available for download at the moment.
Hans van Ditmarsch, Paul-Gabriel Sandu (2018) Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer.
The proof theory of common knowledge
Michel Marti, Thomas Studer
pp. 433-455
Not implemented yet !