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