| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 428135 | Information Processing Letters | 2009 | 4 Pages |
Abstract
Common knowledge is an essential notion for coordination among agents. We show that the logic of common knowledge does not have the Beth property and thus it also lacks interpolation. The proof we present is a variant of Maksimova's proof that temporal logics with ‘the next’ do not have the Beth property. Our result also provides an explanation why it is so difficult to find ‘nice’ deductive systems for common knowledge.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
