We formulate a dynamic framework for an individual decision-maker within which discovery of previously unconsidered propositions is possible. Using a standard game-theoretic representation of the state space as a tree structure generated by the actions of agents (including acts of nature), we...

We develop a model of games with awareness that allows for differential levels of awareness. We show that, for the standard modal logical interpretations of belief and awareness, a player cannot believe there exist propositions of which he is unaware. Nevertheless, we argue that a boundedly...