Revisiting the state-space model of unawareness

We propose a knowledge operator based on the agent’s possibility correspondence which preserves her non-trivial unawareness within the standard state-space model. Our approach may provide a solution to the classical impossibility result that ‘an unaware agent must be aware of everything’.