Locally Finite Knowledge Structures

Robert Samuel Simon

Discussion Paper Series from The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem

Abstract: With respect to the S5 multi-agent epistemic logic, we define a cell to be a minimal subset of knowledge structures known in common semantically by all the agents. A cell has finite fanout if at every knowledge strcuture every agent considers only a finite number of other knowledge structures to be possible. A set of formulas in common knowledge is finitely generated if the common knowledge of some finite subset implies the common knowledge of the whole set. For every finitely generated set of formulas held in common knowledge at some knowledge structure either this set determines uniquely a finite cell or there are uncountable many cells of finite fanout (and also uncountably many cells of uncountable size) at which exactly this set of formulas is known in common. The situation is very different, however, for sets of formulas held in common knolwedge that are not finitely generated - if there are uncountably many corresponding cells then either none of these cells or all of them could have finite fanout.

Keywords: Cantor sets; Baire category; model logic; common knowledge (search for similar items in EconPapers)
Pages: 26 pages
Date: 2001-10
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://ratio.huji.ac.il/sites/default/files/publications/dp275.pdf (application/pdf)
Our link check indicates that this URL is bad, the error code is: 404 Not Found (http://ratio.huji.ac.il/sites/default/files/publications/dp275.pdf [302 Moved Temporarily]--> https://ratio.huji.ac.il/sites/default/files/publications/dp275.pdf)

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:huj:dispap:dp275

Access Statistics for this paper

More papers in Discussion Paper Series from The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem Contact information at EDIRC.
Bibliographic data for series maintained by Michael Simkin ().