IDEAS home Printed from https://ideas.repec.org/p/huj/dispap/dp275.html
   My bibliography  Save this paper

Locally Finite Knowledge Structures

Author

Listed:
  • Robert Samuel Simon

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.

Suggested Citation

  • Robert Samuel Simon, 2001. "Locally Finite Knowledge Structures," Discussion Paper Series dp275, The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem.
    • Handle: RePEc:huj:dispap:dp275
    as

    Download full text from publisher

    File URL: http://ratio.huji.ac.il/sites/default/files/publications/dp275.pdf
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:huj:dispap:dp275. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Michael Simkin (email available below). General contact details of provider: https://edirc.repec.org/data/crihuil.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.