Equivalence of the information structure with unawareness to the logic of awareness
Sander Heinsalu · 2011
This paper proves the Li (2009) unawareness structure equivalent to the single-agent propositionally generated logic of awareness of Fagin and Halpern (1988). For any model of one type one can construct a model of the other type describing the same belief and awareness. Li starts from an agent unable to perceive aspects of the world and distinguish states, modelled with subjective state spaces coarser than the objective state space. Fagin and Halpern limit the agent's language or cognitive ability to reasoning only about a subset of the propositions describing the world. Equivalence of these approaches suggests they capture a natural notion of unawareness in a minimal way.