de Swart, H.; Rauszer, C. 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]. Reviewer: H.Wansing (Leipzig) MSC: 03B45 Modal logic (including the logic of norms) 68T30 Knowledge representation 91A80 Applications of game theory 03B80 Other applications of logic Keywords:extension of modal logic S5; knowledge; common knowledge; Aumann’s theorem PDFBibTeX XMLCite \textit{H. de Swart} and \textit{C. Rauszer}, in: 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. 87--102 (1995; Zbl 0840.03013)