Journal of Philosophical Logic

, Volume 39, Issue 2, pp 113–137 | Cite as

Awareness Dynamics

  • Brian HillEmail author


In recent years, much work has been dedicated by logicians, computer scientists and economists to understanding awareness, as its importance for human behaviour becomes evident. Although several logics of awareness have been proposed, little attention has been explicitly dedicated to change in awareness. However, one of the most crucial aspects of awareness is the changes it undergoes, which have countless important consequences for knowledge and action. The aim of this paper is to propose a formal model of awareness change, and to derive from it logics of awareness change. In the first part of the paper, the model of epistemic states of bounded agents proposed in Hill (Stud Log 89(1):81–109, 2008a) is extended with operations modelling awareness change. In the second part of the paper, it is shown how this model naturally extends the “standard” logic of awareness to yield a logic of awareness change.


Awareness Knowledge Logic of awareness Awareness change Belief revision AGM belief revision Dynamic epistemic logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alchourron, C. E., Gärdenfors, P., & Makinson, D. (1985). The logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50, 510–530.CrossRefGoogle Scholar
  2. 2.
    Baltag, A., & Smets, S. (2006). Dynamic belief revision over multi-agent plausibility models. In G. Bonanno, W. van der Hoek, & M. Wooldridge (Eds.), Proceedings of the 6th conference on logic and the foundations of game and decision theory (LOFT06) (pp. 11–24).Google Scholar
  3. 3.
    Blackburn, P., Rijke, M. d., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press.Google Scholar
  4. 4.
    Board, O. J., Chung, K.-S., & Shipper, B. C. (2009). Two models of awareness: Comparing the object-based and the subjective-state-space approaches. In G. Bonanno, B. Loewe, & W. van der Hoek (Eds.), Proceedings of the 8th conference on logic and the foundations of the game and decision theory (LOFT’08). Amsterdam: Amsterdam University Press.Google Scholar
  5. 5.
    Dekel, E., Lipman, B., & Rustichini, A. (1998). Standard state-space models preclude unawareness. Econometrica, 66, 159–173.CrossRefGoogle Scholar
  6. 6.
    Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge: MIT.Google Scholar
  7. 7.
    Fuhrmann, A. (1989). Reflective modalities and theory change. Synthese, 81, 115–134.CrossRefGoogle Scholar
  8. 8.
    Gärdenfors, P. (1988). Knowledge in flux : Modeling the dynamics of epistemic states. Cambridge: MIT.Google Scholar
  9. 9.
    Halpern, J. Y. (2001). Alternative semantics for unawareness. Games and Economic Behavior, 37, 321–339.CrossRefGoogle Scholar
  10. 10.
    Halpern, J. Y., & Rêgo, L. C. (2007). Generalized solution concepts in games with possibly unaware players. In Proceedings of the eleventh conference on theoretical aspects of rationality and knowledge (pp. 253–262).Google Scholar
  11. 11.
    Halpern, J. Y., & Rêgo, L. C. (2008). Interactive unawareness revisited. Games and Economic Behavior, 62, 232–262.CrossRefGoogle Scholar
  12. 12.
    Heifetz, A., Meier, M., & Schipper, B. (2006). Interactive unawareness. Journal of Economic Theory, 130, 78–94.CrossRefGoogle Scholar
  13. 13.
    Heifetz, A., Meier, M., & Schipper, B. (2008a). A canonical model for interactive unawareness. Games and Economic Behavior, 62, 304–324.CrossRefGoogle Scholar
  14. 14.
    Heifetz, A., Meier, M., & Schipper, B. (2008b). Dynamic awareness and rationalizable behavior. Mimeo.Google Scholar
  15. 15.
    Hill, B. (2008a). Towards a “sophisticated” model of belief dynamics. Part I: The general framework. Studia Logica, 89(1), 81–109.CrossRefGoogle Scholar
  16. 16.
    Hill, B. (2008b). Towards a “sophisticated” model of belief dynamics. Part II: Belief revision. Studia Logica, 89(3), 291–323.CrossRefGoogle Scholar
  17. 17.
    Koppelberg, S. (1989). General theory of boolean algebras. In J.D. Monk & R. Bonnet (Eds.), Handbook of Boolean Algebras, vol 1. Amsterdam: North Holland.Google Scholar
  18. 18.
    Modica, S. (2008). Unawareness, priors and posteriors. Decisions in Economics and Finance, 31, 81–94.CrossRefGoogle Scholar
  19. 19.
    Modica, S., & Rustichini, A. (1999). Unawareness and partitional information structures. Games and Economic Behavior, 27(2), 265–298.CrossRefGoogle Scholar
  20. 20.
    van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-classical Logics, 17, 129–155.CrossRefGoogle Scholar
  21. 21.
    van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Dordrecht: Springer.Google Scholar
  22. 22.
    van Ditmarsch, H. P. (2005). Prolegomena to dynamic logic of belief revision. Synthese, 147, 229–275.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.GREGHECHEC Paris and IHPST (CNRS / Paris 1 / ENS)Jouy-en-JosasFrance

Personalised recommendations