Abstract

We propose a notion of a sub-model for each agent at each state in the Heifetz et al. model of interactive unawareness. Presuming that each agent is fully cognizant of his sub-model causes no difficulty and fully describes his knowledge and his beliefs about the knowledge and awareness of others. We use sub-models to motivate the HMS conditions on possibility correspondences.