The difference between common knowledge of formulas and sets

Robert Samuel Simon ()
Additional contact information
Robert Samuel Simon: Institute for Mathematical Stochastics, Lotzestr. 13, D-37083 GÃttingen, Germany

International Journal of Game Theory, 1999, vol. 28, issue 3, 367-384

Abstract: Common knowledge can be defined in at least two ways: syntactically as the common knowledge of a set of formulas or semantically, as the meet of the knowledge partitions of the agents. In the multi-agent S5 logic with either finitely or countably many agents and primitive propositions, the semantic definition is the finer one. For every subset of formulas that can be held in common knowledge, there is either only one member or uncountably many members of the meet partition with this subset of formulas held in common knowledge. If there are at least two agents, there are uncountably many members of the meet partition where only the tautologies of the multi-agent S5 logic are held in common knowledge. Whether or not a member of the meet partition is the only one corresponding to a set of formulas held in common knowledge has radical implications for its topological and combinatorial structure.

Keywords: Common; knowledge; ·; Baire; category; ·; Cantor; sets (search for similar items in EconPapers)
Date: 1999-08-13
References: Add references at CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.de/link/service/journals/00182/papers/9028003/90280367.pdf (application/pdf)
Access to the full text of the articles in this series is restricted

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:jogath:v:28:y:1999:i:3:p:367-384

Ordering information: This journal article can be ordered from
http://www.springer. ... eory/journal/182/PS2

Access Statistics for this article

International Journal of Game Theory is currently edited by Shmuel Zamir, Vijay Krishna and Bernhard von Stengel

More articles in International Journal of Game Theory from Springer, Game Theory Society
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().