Sciweavers

ENTCS
2010

Two Ways to Common Knowledge

13 years 3 months ago
Two Ways to Common Knowledge
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towards such a system. We argue that the standard induction rule is not well suited to axiomatize evidence-based common knowledge. As an alternative, we study two different deductive systems for the logic of common knowledge. The first system makes use of an induction axiom whereas the second one is based on co-inductive proof theory. We show the soundness and completeness for both systems.
Samuel Bucheli, Roman Kuznets, Thomas Studer
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2010
Where ENTCS
Authors Samuel Bucheli, Roman Kuznets, Thomas Studer
Comments (0)