Deduction chains for common knowledge

TitleDeduction chains for common knowledge
Publication TypeJournal Article
Year of Publication2006
AuthorsKretz, M, Studer, T
JournalJournal of Applied Logic
Volume4
Pagination331-357
URLhttp://www.iam.unibe.ch/ltgpub/2006/ks06.pdf
DOI10.1016/j.jal.2005.06.011