Syntactic cut-elimination for common knowledge

TitleSyntactic cut-elimination for common knowledge
Publication TypeJournal Article
Year of Publication2009
AuthorsBrünnler, K, Studer, T
JournalAnnals of Pure and Applied Logic
Volume160
Pagination82-95
URLhttp://www.iam.unibe.ch/ltgpub/2009/bs09b.pdf
DOI10.1016/j.apal.2009.01.014