×

Different approaches to knowledge, common knowledge and Aumann’s theorem. (English) Zbl 0840.03013

Wansing, Heinrich (ed.) et al., Knowledge and belief in philosophy and artificial intelligence. Based on a workshop ‘Modellierung epistemischer Propositionen’, held during the German AI conference in Saarbrücken, Germany, September 20-21, 1994. Berlin: Akademie Verlag. Logica Nova. 87-102 (1995).
The authors compare various approaches to knowledge and common knowledge. They present a logical reformulation of Aumann’s theorem on the impossibility of rational agents to agree to disagree (subject to certain assumptions). The proof commits them to an extension of the modal logic S5.
For the entire collection see [Zbl 0830.00025].

MSC:

03B45 Modal logic (including the logic of norms)
68T30 Knowledge representation
91A80 Applications of game theory
03B80 Other applications of logic
PDFBibTeX XMLCite