2009 | OriginalPaper | Chapter
Dynamic Logics for Explicit and Implicit Information
Author : Fernando R. Velázquez-Quesada
Published in: Logic, Rationality, and Interaction
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.