Dynamic epistemic logic for implicit and explicit beliefs
CEUR Workshop Proceedings
Interfacultary Research Institutes
Institute for Logic, Language and Computation (ILLC)
The dynamic turn in Epistemic Logic is based on the idea that notions of information should be studied together with the actions
that modify them. Dynamic epistemic logics have explored how knowledge and beliefs change as consequence of, among others,
acts of observation and upgrade. Nevertheless, the omniscient nature of the represented agents has kept finer actions outside
the picture, the most important being the action of inference. Following proposals for representing non-omniscient agents,
recent works have explored how implicit and explicit knowledge change as a consequence of acts of observation, inference,
consideration and even forgetting. The present work proposes a further step towards a common framework for representing finer
notions of information and their dynamics. We propose a combination of existing works in order to represent implicit and explicit
beliefs. Then, after adapting definitions for the actions of upgrade and retraction, we discuss the action of inference on
beliefs, analyzing its differences with respect to inference on knowledge and proposing a rich system for its representation.
Proceedings title: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010):
Lyon, France, August 30-September 2, 2010
Place of publication: Aachen
Editors: O. Boissier, A. El Fallah Seghrouchni, S. Hassas, N. Maudet
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let
the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible
and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands.
You will be contacted as soon as possible.