The dynamics of awareness

Synthese 177 (S1):5 - 27 (2010)
  Copy   BIBTEX


Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and hence we also need a dynamic logic of inference steps showing what effort on the part of the agent makes a conclusion explicit knowledge. Strong omniscience properties of agents should be seen not as static idealizations, but as the result of dynamic processes that agents engage in. This raises two questions: (a) how to define suitable information states of agents and matching notions of explicit knowledge, (b) how to define natural processes over these states that generate new explicit knowledge. To this end, we use a static base from the existing awareness literature, extending it into a dynamic system that includes traditional acts of observation, but also adding and dropping formulas from the current ' awareness' set. We give a completeness theorem, and we show how this dynamics updates explicit knowledge. Then we extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches. Our contribution can be seen as a ' dynamification' of existing awareness logics



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

123 (#147,568)

6 months
18 (#143,247)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.
Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.

View all 19 citations / Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.

View all 20 references / Add more references