Dynamic Epistemic Logic for Implicit and Explicit Beliefs

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs
Keywords Epistemic logic  Dynamic epistemic logic  Knowledge  Beliefs  Belief revision  Inference
Categories (categorize this paper)
DOI 10.1007/s10849-014-9193-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,305
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell 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 31 references / Add more references

Citations of this work BETA

View all 8 citations / Add more citations

Similar books and articles


Added to PP index

Total views
39 ( #226,498 of 2,280,221 )

Recent downloads (6 months)
6 ( #186,586 of 2,280,221 )

How can I increase my downloads?


My notes

Sign in to use this feature