Dynamic Awareness

07/06/2020

∙

by   Joseph Y. Halpern, et al.

∙

0

∙

share

We investigate how to model the beliefs of an agent who becomes more aware. We use the framework of Halpern and Rego (2013) by adding probability, and define a notion of a model transition that describes constraints on how, if an agent becomes aware of a new formula ϕ in state s of a model M, she transitions to state s^* in a model M^*. We then discuss how such a model can be applied to information disclosure.