TL;DR
This paper explores the conditions under which agreement to disagree is impossible in models of KD45 belief, highlighting differences from S5 knowledge models and showing broad conditions for impossibility.
Contribution
It demonstrates that agreement to disagree cannot occur under broad conditions in KD45 belief models even without the truth axiom, contrasting with S5 knowledge models.
Findings
Agreement to disagree is impossible in KD45 belief models under broad conditions.
Impossibility holds even without assuming the truth axiom.
Contrasts with the S5 knowledge models used in previous literature.
Abstract
We study conditions relating to the impossibility of agreeing to disagree in models of interactive KD45 belief (in contrast to models of S5 knowledge, which are used in nearly all the agreements literature). We show that even when the truth axiom is not assumed it turns out that players will find it impossible to agree to disagree under fairly broad conditions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLaw, Economics, and Judicial Systems · Auction Theory and Applications · Game Theory and Voting Systems