References
Michel Marti
The proof theory of common knowledge
2018
with Studer Thomas
in: Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht : Springer
2018
with Studer Thomas
in: Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht : Springer