Generalized type spaces

Pintér, Miklós and Udvari, Zsolt (2011): Generalized type spaces.

Abstract

Ordinary type spaces (Heifetz and Samet, 1998) are essential ingredients of incomplete information games. With ordinary type spaces one can grab the notions of beliefs, belief hierarchies and common prior etc. However, ordinary type spaces cannot handle the notions of finite belief hierarchy and unawareness among others.

In this paper we consider a generalization of ordinary type spaces, and introduce the so called generalized type spaces which can grab all notions ordinary type spaces can and more, finite belief hierarchies and unawareness among others. We also demonstrate that the universal generalized type space exists.

• Item Type: MPRA Paper
• Language: English
• Keywords: type space; unawareness; finite belief hierarchy; generalized type space; generalized belief hierarchy; incomplete information games
• Subjects: D - Microeconomics > D8 - Information, Knowledge, and Uncertainty > D83 - Search ; Learning ; Information and Knowledge ; Communication ; Belief ; Unawareness; C - Mathematical and Quantitative Methods > C7 - Game Theory and Bargaining Theory > C72 - Noncooperative Games

References

Aumann RJ (1999) Interacitve epistemology I: Knowledge. International Journal of Game Theory 28:263--300

Aumann RJ (1999) Interacitve epistemology II: Probability. International Journal of Game Theory 28:301--314

Battigalli P, Siniscalchi M (1999) Hierarchies of conditional beliefs and interactive epistemology in dynamic games. Journal of Economic Theory 88:188--230

Bernheim BD (1984) Rationalizable strategic behavior. Econometrica 52(4):1007--1028

Böge W, Eisele T (1979) On solutions of bayesian games. International Journal of Game Theory 8(4):193--215

Brandenburger A, Dekel E (1993) Hierarchies of beliefs and common knowledge. Journal of Economic Theory 59:189--198

Cirstea C, Kurz A, Pattinson D, Schröder L, Venema Y (2011) Modal logics are coalgebraic. Computer Journal 54(1):31--41

Dekel E, Lipman BL, Rustichini A (1998) Standard state-space models preclude unawareness. Econometrica 66(1):159--173

Ely JC, Peski M (2006) Hierarchies of belief and interim rationalizability. Theoretical Economics 1:19--65

Fagin R, Halpern JY (1988) Belief, awareness and limited reasoning. Artificial Intelligence 34:39--76

Friedenberg A, Meier M (2011) On the relationship between hierarchy and type morphisms. Economic Theory 46(3):377--399

Halpern JY (2001) Alternative semantics for unawareness. Games and Economic Behavior 37(2):321--339

Halpern JY, Rego LC (2008) Interactive unawareness revisited. Games and Economic Behavior 62(1):232--262

Halpern JY, Rego LC (2009) Reasoning about knowledge of unawareness. Games and Economic Behavior 67(2):503--525

Harsányi J (1967-68) Games with incomplete information played by bayesian players part I., II., III. Management Science 14:159--182, 320--334, 486--502

Heifetz A (1993) The bayesian formulation of incomplete information - the non-compact case. International Journal of Game Theory 21:329--338

Heifetz A, Mongin P (2001) Probability logic for type spaces. Games and Economic Behavior 35(1-2):31--53

Heifetz A, Samet D (1998) Topology-free typology of beliefs. Journal of Economic Theory 82:324--341

Heifetz A, Samet D (1999) Coherent beliefs are not always types. Journal of Mathematical Economics 32:475--488

Heifetz A, Meier M, Schipper BC (2006) Interactive unawareness. Journal of Economic Theory 130(1):78--94

Heifetz A, Meier M, Schipper BC (2008) A canonical model of interactive unawareness. Games and Economic Behavior 62(1):304--324

Heinsalu S (2011) Equivalence of the information structure with unawareness to the logic of awareness. In: Apt KR (ed) Proceedings of the Thireenth Conference (TARK 2011), Theoretical Aspects of Rationality and Knowledge, vol TARK 2011, pp 82--90

Hill B (2010) Awareness dynamics. Journal of Philosophical Logic 39(2):113--137

Kets W (2010) Bounded reasoning and higher-order uncertainty

Li J (2009) Information structures with unawareness. Journal of Economic Theory 144(3):977--993

Meier M (2008) Universal knowledge-belief structures. Games and Economic Behavior 62:53--66

Mertens JF, Zamir S (1985) Formulation of bayesian analysis for games with incomplete information. International Journal of Game Theory 14:1--29

Mertens JF, Sorin S, Zamir S (1994) Repeated games part a. CORE Discussion Paper No 9420

Modica S, Rustichini A (1994) Awareness and partitional information structures. Theory and Decision 37(1):107--124

Modica S, Rustichini A (1999) Unawareness and partitional information structures. Games and Economic Behavior 27(2):265--298

Moss LS (2011) Connections of coalgebra and semantic modeling. In: Apt KR (ed) Proceedings of the Thireenth Conference (TARK 2011), Theoretical Aspects of Rationality and Knowledge, pp 28--36

Moss LS, Viglizzo ID (2004) Harsanyi type spaces and final coalgebras constructed from satisfied theories. Electronic Notes in Theoretical Computer Science 106:279--295

Moss LS, Viglizzo ID (2006) Final coalgebras for functors on measurable spaces. Information and Computation 204:610--636

Pintér M (2005) Type space on a purely measurable parameter space. Economic Theory 26:129--139

Pintér M (2008) Every hierarchy of beliefs is a type. CoRR abs/0805.4007, \urlprefix\url{http://arxiv.org/abs/0805.4007}

Pintér M (2010) The non-existence of a universal topological type space. Journal of Mathematical Economics 46:223--229

Rantala V (1982) Quantified modal logic: Non-normal worlds and propositional attitudes. Studia Logica 41(1):41--65

Rubinstein A (1989) The electronic mail game: A game with almost common knowledge. American Economic Review 79(3):385--391

Rubinstein A (1998) Modeling Bounded Rationality. MIT Press

Sillarri G (2006) Models of awareness. In: Bonnano G, van~der Hoek W, Wooldridge M (eds) LOFT06: Proceedings, Logic and the Foundations of Game and Decision Theory, vol LOFT06, pp 209--219

Sillarri G (2008) Quantified logic of awareness and impossible possible worlds. The Review of Symbolic Logic 1(4):514--529

Wansing H (1990) A general possible worlds framework for reasoning about knowledge and belief. Studia Logica 49(4):523--539