- Dynamic logics for explicit and implicit information
- Lecture Notes in Computer Science
- Pages (from-to)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
Classical Epistemic Logic (EL) is a compact and powerful framework for representing an agent’s information. In its dynamic versions (Dynamic Epistemic Logic), it also describes the information flow driven by observation and communication. Nevertheless, it makes a strong idealization: the agent’s information is closed under logical consequence, making truth-preserving inference uninformative. This criticism extends to its dynamics versions: acts of observation and communication provides the agent not only with the new information but also with all logical consequences of it. Thus, dynamic epistemic logics lack of an account of the step-by-step information flow driven by agent’s inferences, a concern that arises not only in epistemic contexts, but also in doxastic areas. The extended version of the present abstract  combines ideas from the earlier literature proposing a unified framework to address these problems.
- go to publisher's site
- Proceedings title: Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October
8-11, 2009: proceedings
Place of publication: Berlin
Editors: X. He, J. Horty, E. Pacuit
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.