On a super large fixed-point of common information in multi-agent signalling games

Logic Journal of the IGPL 20 (1):94-120 (2012)


In this article, we compare two fixed-point constructions of common knowledge in sequential coordination problems. The first one corresponds to the standard maximal fixed-point construction of common knowledge in a possible worlds framework; the second construction provides an even larger fixed-point and involves iterated epistemic updates. We call the first fixed-point the maximal fixed-point, and the second the update fixed-point. Both fixed-points define a set of sequential actions that solve the coordination problem such that success is mutually guaranteed. The main application intended is the study of signalling games as introduced by [15]. We introduce a non-probabilistic version of these games as multi-agent signalling games. We use them for modelling prototypical accommodation phenomena following [16]. We show especially that accommodation, which involves presupposition violation, is only licensed due to the existence of the super large update fixed-point, whereas the literal language use without presupposition violations can be characterized by the maximal fixed-point

Download options


    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

5 (#1,212,475)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Some Unifying Fixed Point Principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
Guarded Quantification in Least Fixed Point Logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Fixed Point Logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Iterative and Fixed Point Common Belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.
The Variable Hierarchy for the Games Μ-Calculus.Walid Belkhir & Luigi Santocanale - 2010 - Annals of Pure and Applied Logic 161 (5):690-707.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
On the λY Calculus.Rick Statman - 2004 - Annals of Pure and Applied Logic 130 (1-3):325-337.
The Mermin Fixed Point.Veit Elser - 2003 - Foundations of Physics 33 (11):1691-1698.
A Fixed Point Theorem for o-Minimal Structures.Kam-Chau Wong - 2003 - Mathematical Logic Quarterly 49 (6):598.
The Expressive Power of Fixed-Point Logic with Counting.Martin Otto - 1996 - Journal of Symbolic Logic 61 (1):147-176.
On Non-Wellfounded Sets as Fixed Points of Substitutions.Matti Pauna - 2001 - Notre Dame Journal of Formal Logic 42 (1):23-40.
Fixed-Points of Set-Continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.