Syntactic cut-elimination for common knowledge

TitleSyntactic cut-elimination for common knowledge
Publication TypeConference Paper
Year of Publication2009
AuthorsBrünnler, K, Studer, T
EditorAreces, C, Demri, S
Conference NameProceedings of Methods for Modalities M4M5
Pagination227-240
PublisherElsevier
URLhttp://www.iam.unibe.ch/ltgpub/2009/bs09a.pdf
DOI10.1016/j.entcs.2009.02.038