Title: Agreement Theorems in Probabilistic Dynamic Epistemic Logic
Authors: Demey, Lorenz #
Issue Date: 2011
Publisher: Institute for Logic, Language and Computation
Host Document: Logic and Interactive Rationality Yearbook 2010 pages:1-26
Conference: LIRa Seminar location:Amsterdam
Abstract: This paper studies Aumann's agreeing to disagree theorem from the perspective of probabilistic dynamic epistemic logic. We introduce enriched probabilistic Kripke frames and models, and various ways of updating them. This framework is then used to prove several agreement theorems, which are natural formalizations of Aumann's original result. Furthermore, we provide a sound and complete axiomatization of a dynamic agreement logic, in which one of these agreement theorems can be derived syntactically. These technical results are then used to clarify some conceptual issues surrounding the agreement theorem, in particular the role of common knowledge and the importance of explicitly representing the dynamics.
Description: no ISBN
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Centre for Logic and Analytical Philosophy
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.