- Author
- Year
- 2009
- host editors
-
X. He
J. Horty
E. Pacuit - Title
- Dynamic logics for explicit and implicit information
- Event
- Second International Workshop on Logic, Rationality and Interaction (LORI-II), Chongqing, China
- Book/source title
- Logic, Rationality, and Interaction
- Book/source subtitle
- second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings
- Pages (from-to)
- 325-326
- Publisher
- Berlin: Springer
- ISBN
- 9783642048920
- ISBN (electronic)
- 9783642048937
- Series
- Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, FoLLI Publications on Logic, Language and Information,
0302-9743, 5834
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, FoLLI Publications on Logic, Language and Information, 0302-9743, 5834
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, FoLLI Publications on Logic, Language and Information, 0302-9743, 5834 - Document type
- Conference contribution
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Abstract
-
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 [1] combines ideas from the earlier literature proposing a unified framework to address these problems.
- URL
- go to publisher's site
- Language
- English
- Persistent Identifier
- https://hdl.handle.net/11245/1.315543
Disclaimer/Complaints regulations
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.