Revisiting the state-space model of unawareness

TL;DR

This paper introduces a new knowledge operator within the state-space model that maintains an agent's unawareness, addressing the classical issue that an unaware agent must be aware of everything.

Contribution

It proposes a novel approach to modeling unawareness that preserves non-trivial unawareness within the standard state-space framework.

Findings

The new operator preserves unawareness in the model.

It offers a potential solution to classical impossibility results.

The approach aligns unawareness with standard epistemic models.

Abstract

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'.