About cut elimination for logics of common knowledge

TitleAbout cut elimination for logics of common knowledge
Publication TypeJournal Article
Year of Publication2005
AuthorsAlberucci, L, Jäger, G
JournalAnnals of Pure and Applied Logic
Volume133
Pagination73-99
URLhttp://www.iam.unibe.ch/ltgpub/2005/aj05.pdf
DOI10.1016/j.apal.2004.10.004