Two ways to common knowledge

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2010). Two ways to common knowledge. In: Bolander, Thomas; Braüner, Torben (eds.) Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009. Electronic Notes in Theoretical Computer Science: Vol. 262 (pp. 83-98). Amsterdam: Elsevier 10.1016/j.entcs.2010.04.007

Full text not available from this repository. (Request a copy)

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.

Item Type: Conference or Workshop Item (Paper)
Division/Institute: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Bucheli, Samuel; Kuznets, Roman and Studer, Thomas
Series: Electronic Notes in Theoretical Computer Science
Publisher: Elsevier
Language: English
Submitter: Factscience Import
Date Deposited: 04 Oct 2013 14:17
Last Modified: 08 Sep 2015 16:31
Publisher DOI: 10.1016/j.entcs.2010.04.007
URI: http://boris.unibe.ch/id/eprint/4974 (FactScience: 209637)

Actions (login required)

Edit item Edit item
Provide Feedback