Reasoning about knowledge
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Epistemic Logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Games, Actions and Social Software
Hi-index | 0.00 |
In this paper we study Aumann's Agreement Theorem in dynamic-epistemic logic. We show that common belief of posteriors is sufficient for agreements in "epistemic-plausibility models", under common and well-founded priors, from which the usual form of agreement results follows, using common knowledge. We do not restrict ourselves to the finite case, and show that in countable structures such results hold if and only if the underlying "plausibility ordering" is well-founded. We look at these results from a syntactic point of view, showing that neither well-foundedness nor common priors are expressible in a commonly used language, but that the static agreement result is finitely derivable in an extended modal logic. We finally consider "dynamic" agreement results, show they have a counterpart in epistemic-plausibility models, and provide a new form of agreements via "public announcements". Comparison of the two types of dynamic agreement reveals that they can indeed be different.