This paper proves the Li (2009) [13] unawareness structure equivalent to the single-agent propositionally generated logic of awareness of Fagin and Halpern (1988) [4]. For any model of one type one can construct a model of the other type describing the same belief and awareness. Li starts from...

Infinite hierarchies of awareness and beliefs arise in games with unawareness, similarly to belief hierarchies in standard games. A natural question is whether each hierarchy describes the playerʼs awareness of the hierarchies of other players and beliefs over these, or whether the reasoning...