Dynamic logics for explicit and implicit information

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.