Inference, Promotion, and the Dynamics of Awareness

Johan Van Benthem
University of Amsterdam
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 extend earlier epistemic “awareness models” into a dynamic system that includes acts of public observation, but also adding and dropping formulas from the currently ‘entertained’ set, we give a completeness theorem, and we show how this dynamics updates explicit knowledge. Similar ideas have been proposed before, but they were restricted to update with factual propositions; our new dynamic system applies to arbitrary formulas. We also extend our approach to multi-agent scenarios where awareness changes may happen privately. Finally, we mention further directions and related approaches.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,328
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Epistemic Logic for Rule-Based Agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.

Add more references

Citations of this work BETA

Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.
Composing Models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.
The Logic of Empirical Theories Revisited.Johan Benthem - 2012 - Synthese 186 (3):775 - 792.
Toward a Dynamic Logic of Questions.Johan Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633 - 669.

Add more citations

Similar books and articles


Added to PP index

Total views
41 ( #214,577 of 2,280,259 )

Recent downloads (6 months)
1 ( #830,174 of 2,280,259 )

How can I increase my downloads?


My notes

Sign in to use this feature