The Proof Theory of Common Knowledge

TitleThe Proof Theory of Common Knowledge
Publication TypeBook Chapter
Year of PublicationIn Press
AuthorsMarti, M, Studer, T
Editorvan Ditmarsch, H, Sandu, G
Book TitleJaakko Hintikka on knowledge and game theoretical semantics
Series TitleOutstanding Contributions to Logic
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2017/mast17.pdf