Cut-free common knowledge

TitleCut-free common knowledge
Publication TypeJournal Article
Year of Publication2007
AuthorsJäger, G, Kretz, M, Studer, T
JournalJournal of Applied Logic
Volume5
Pagination681-689
URLhttp://www.iam.unibe.ch/ltgpub/2007/jks07.pdf
DOI10.1016/j.jal.2006.02.003