A Canonical Model for Interactive Unawareness

Abstract

Heifetz, Meier and Schipper [Heifetz, A., Meier, M., Schipper, B.C., 2006a. Interactive unawareness, J. Econ. Theory 130, 78–94; Heifetz, A., Meier, M., Schipper, B.C., 2006b. Unawareness, beliefs and games. Mimeo] introduced unawareness structures. These are generalized state-space models that allow for non-trivial unawareness among several individuals and strong properties of knowledge. We show that a canonical unawareness structure arises naturally if states consist of maximally consistent sets of formulas in an appropriate axiom system. As a corollary, we obtain a strong soundness and completeness theorem for this axiom system with respect to the class of unawareness structures.

abstract = "Heifetz, Meier and Schipper [Heifetz, A., Meier, M., Schipper, B.C., 2006a. Interactive unawareness, J. Econ. Theory 130, 78–94; Heifetz, A., Meier, M., Schipper, B.C., 2006b. Unawareness, beliefs and games. Mimeo] introduced unawareness structures. These are generalized state-space models that allow for non-trivial unawareness among several individuals and strong properties of knowledge. We show that a canonical unawareness structure arises naturally if states consist of maximally consistent sets of formulas in an appropriate axiom system. As a corollary, we obtain a strong soundness and completeness theorem for this axiom system with respect to the class of unawareness structures.",

author = "Martin Meier and Aviad Heifetz and Burkhard Schipper",

year = "2008",

month = "1",

day = "1",

doi = "10.1016/j.geb.2007.07.003",

language = "English",

volume = "62",

pages = "304--324",

journal = "Games and Economic Behavior",

issn = "0899-8256",

publisher = "Elsevier Academic Press Inc",

number = "1",

}

TY - JOUR

T1 - A Canonical Model for Interactive Unawareness

AU - Meier, Martin

AU - Heifetz, Aviad

AU - Schipper, Burkhard

PY - 2008/1/1

Y1 - 2008/1/1

N2 - Heifetz, Meier and Schipper [Heifetz, A., Meier, M., Schipper, B.C., 2006a. Interactive unawareness, J. Econ. Theory 130, 78–94; Heifetz, A., Meier, M., Schipper, B.C., 2006b. Unawareness, beliefs and games. Mimeo] introduced unawareness structures. These are generalized state-space models that allow for non-trivial unawareness among several individuals and strong properties of knowledge. We show that a canonical unawareness structure arises naturally if states consist of maximally consistent sets of formulas in an appropriate axiom system. As a corollary, we obtain a strong soundness and completeness theorem for this axiom system with respect to the class of unawareness structures.

AB - Heifetz, Meier and Schipper [Heifetz, A., Meier, M., Schipper, B.C., 2006a. Interactive unawareness, J. Econ. Theory 130, 78–94; Heifetz, A., Meier, M., Schipper, B.C., 2006b. Unawareness, beliefs and games. Mimeo] introduced unawareness structures. These are generalized state-space models that allow for non-trivial unawareness among several individuals and strong properties of knowledge. We show that a canonical unawareness structure arises naturally if states consist of maximally consistent sets of formulas in an appropriate axiom system. As a corollary, we obtain a strong soundness and completeness theorem for this axiom system with respect to the class of unawareness structures.