Working Paper 69


Logical structures for modelling agents’ reasoning about unawareness are presented where it can hold simultaneously that:

  1. agents’ beliefs about whether they are fully aware need not be veracious with partitional information; and
  2. the agent is fully aware if and only if she is aware of a fixed domain of formulae.

In light of (2), all states are deemed “possible”.

Semantics operate in two stages, with belief in the second stage determined by truth in the first stage.

Characterisation theorems show that, without the first stage, the structures validate the same conditions as those of Halpern and Rego (2009a).

Oliver Walker

Keep in touch with the Grantham Research Institute at LSE
Sign up to our newsletters and get the latest analysis, research, commentary and details of upcoming events.