IDEAS home Printed from https://ideas.repec.org/p/cor/louvco/2001061.html
   My bibliography  Save this paper

An infinitary probability logic for type spaces

Author

Listed:
  • MEIER, Martin

Abstract

Type spaces in the sense of Harsanyi (1967/68) can be considered as the probabilistic analog of Kripke structures. By an infinitary propositional language with additional operators "individual i assigns probability at least to" and infinitary inference rules, we axiomatize the class of (Harsanyi) type spaces. We show that our axiom system is strongly sound and strongly complete. To the best of our knowledge, this is the very first strong completeness theorem for a probability logic of the present kind. The result is proved by constructing a canonical type space.

Suggested Citation

  • MEIER, Martin, 2001. "An infinitary probability logic for type spaces," LIDAM Discussion Papers CORE 2001061, Université catholique de Louvain, Center for Operations Research and Econometrics (CORE).
    • Handle: RePEc:cor:louvco:2001061
    as

    Download full text from publisher

    File URL: https://sites.uclouvain.be/core/publications/coredp/coredp2001.html
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Heifetz, Aviad & Samet, Dov, 1998. "Topology-Free Typology of Beliefs," Journal of Economic Theory, Elsevier, vol. 82(2), pages 324-341, October.
    2. Heifetz, Aviad & Samet, Dov, 1999. "Coherent beliefs are not always types," Journal of Mathematical Economics, Elsevier, vol. 32(4), pages 475-488, December.
    3. Adam Brandenburger & Eddie Dekel, 2014. "Hierarchies of Beliefs and Common Knowledge," World Scientific Book Chapters, in: The Language of Game Theory Putting Epistemics into the Mathematics of Games, chapter 2, pages 31-41, World Scientific Publishing Co. Pte. Ltd..
    4. Robert J. Aumann, 1999. "Interactive epistemology II: Probability," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 301-314.
    5. Ronald Fagin & Joseph Y. Halpern & Yoram Moses & Moshe Y. Vardi, 2003. "Reasoning About Knowledge," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262562006, December.
    6. MERTENS , Jean-François & SORIN , Sylvain & ZAMIR , Shmuel, 1994. "Repeated Games. Part A : Background Material," LIDAM Discussion Papers CORE 1994020, Université catholique de Louvain, Center for Operations Research and Econometrics (CORE).
    7. Heifetz, Aviad & Mongin, Philippe, 2001. "Probability Logic for Type Spaces," Games and Economic Behavior, Elsevier, vol. 35(1-2), pages 31-53, April.
    8. Heifetz, Aviad, 1993. "The Bayesian Formulation of Incomplete Information--The Non-compact Case," International Journal of Game Theory, Springer;Game Theory Society, vol. 21(4), pages 329-338.
    9. Robert J. Aumann, 1999. "Interactive epistemology I: Knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 263-300.
    10. Heifetz, Aviad & Samet, Dov, 1998. "Knowledge Spaces with Arbitrarily High Rank," Games and Economic Behavior, Elsevier, vol. 22(2), pages 260-273, February.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Shmuel Zamir, 2008. "Bayesian games: Games with incomplete information," Discussion Paper Series dp486, The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem.
    2. Pintér, Miklós, 2010. "The non-existence of a universal topological type space," Journal of Mathematical Economics, Elsevier, vol. 46(2), pages 223-229, March.
    3. Friedenberg, Amanda, 2010. "When do type structures contain all hierarchies of beliefs?," Games and Economic Behavior, Elsevier, vol. 68(1), pages 108-129, January.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Meier, Martin, 2008. "Universal knowledge-belief structures," Games and Economic Behavior, Elsevier, vol. 62(1), pages 53-66, January.
    2. Shmuel Zamir, 2008. "Bayesian games: Games with incomplete information," Discussion Paper Series dp486, The Federmann Center for the Study of Rationality, the Hebrew University, Jerusalem.
    3. Pintér, Miklós, 2011. "Common priors for generalized type spaces," MPRA Paper 44818, University Library of Munich, Germany.
    4. Pintér, Miklós & Udvari, Zsolt, 2011. "Generalized type spaces," MPRA Paper 34107, University Library of Munich, Germany.
    5. Ganguli, Jayant & Heifetz, Aviad & Lee, Byung Soo, 2016. "Universal interactive preferences," Journal of Economic Theory, Elsevier, vol. 162(C), pages 237-260.
    6. Dekel, Eddie & Siniscalchi, Marciano, 2015. "Epistemic Game Theory," Handbook of Game Theory with Economic Applications,, Elsevier.
    7. Willemien Kets, 2012. "Bounded Reasoning and Higher-Order Uncertainty," Discussion Papers 1547, Northwestern University, Center for Mathematical Studies in Economics and Management Science.
    8. Pintér, Miklós, 2010. "The non-existence of a universal topological type space," Journal of Mathematical Economics, Elsevier, vol. 46(2), pages 223-229, March.
    9. Heifetz, Aviad & Samet, Dov, 1998. "Topology-Free Typology of Beliefs," Journal of Economic Theory, Elsevier, vol. 82(2), pages 324-341, October.
    10. Tsakas, Elias, 2014. "Rational belief hierarchies," Journal of Mathematical Economics, Elsevier, vol. 51(C), pages 121-127.
    11. Meier, Martin, 2005. "On the nonexistence of universal information structures," Journal of Economic Theory, Elsevier, vol. 122(1), pages 132-139, May.
    12. Pintér, Miklós, 2011. "Invariance under type morphisms: the bayesian Nash equilibrium," MPRA Paper 38499, University Library of Munich, Germany.
    13. Heifetz, Aviad & Samet, Dov, 1999. "Hierarchies of knowledge: an unbounded stairway," Mathematical Social Sciences, Elsevier, vol. 38(2), pages 157-170, September.
    14. Áron Tóbiás, 2023. "Cognitive limits and preferences for information," Decisions in Economics and Finance, Springer;Associazione per la Matematica, vol. 46(1), pages 221-253, June.
    15. Galeazzi, Paolo & Marti, Johannes, 2023. "Choice structures in games," Games and Economic Behavior, Elsevier, vol. 140(C), pages 431-455.
    16. Salonen, Hannu, 2009. "Common theories," Mathematical Social Sciences, Elsevier, vol. 58(3), pages 279-289, November.
    17. Guarino, Pierfrancesco, 2020. "An epistemic analysis of dynamic games with unawareness," Games and Economic Behavior, Elsevier, vol. 120(C), pages 257-288.
    18. , & , & ,, 2006. "Topologies on types," Theoretical Economics, Econometric Society, vol. 1(3), pages 275-309, September.
    19. Mariotti, Thomas & Meier, Martin & Piccione, Michele, 2005. "Hierarchies of beliefs for compact possibility models," Journal of Mathematical Economics, Elsevier, vol. 41(3), pages 303-324, April.
    20. Áron Tóbiás, 2021. "Meet meets join: the interaction between pooled and common knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 50(4), pages 989-1019, December.

    More about this item

    Statistics

    Access and download statistics

    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:cor:louvco:2001061. 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.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with 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: Alain GILLIS (email available below). General contact details of provider: https://edirc.repec.org/data/coreebe.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.