Common knowledge does not have the Beth property |
| |
Authors: | Thomas Studer |
| |
Affiliation: | Institut für Informatik und angewandte Mathematik, Universität Bern, Neubrückstrasse 10, CH-3012 Bern, Switzerland |
| |
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. |
| |
Keywords: | Common knowledge Interpolation Formal languages Distributed systems |
本文献已被 ScienceDirect 等数据库收录! |