The proof theory of common knowledge

2018

Michel Martí, Thomas Studer

in: Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin,