PP-2019-25: A dynamic epistemic logic for resource-bounded agents

PP-2019-25: Solaki, Anthia (2019) A dynamic epistemic logic for resource-bounded agents. [Pre-print]

[thumbnail of logica-solaki.pdf]

Download (324kB) | Preview


In this paper, we present a dynamic epistemic logic suitable for resource-bounded agents. Our setting is informed by empirical evidence on deductive reasoning performance and therefore it avoids the problem of logical omniscience. In particular, we introduce actions capturing how the agent learns, forgets, and applies inference rules. Our model is a variant of Kripke models extended with impossible worlds and our updates modify its components (epistemic accessibility, rule availability, cognitive capacity) according to each action's effect. We further provide a sound and complete axiomatization, through a method connecting this semantic approach to logical omniscience with more syntactically-oriented ones. Finally, we use similar tools to model moderate introspective ability and thus avoid the unrealistic commitment to unbounded introspection.

Item Type: Pre-print
Report Nr: PP-2019-25
Series Name: Prepublication (PP) Series
Year: 2019
Subjects: Logic
Depositing User: asolaki1
Date Deposited: 06 Oct 2019 11:53
Last Modified: 06 Oct 2019 11:53
URI: https://eprints.illc.uva.nl/id/eprint/1713

Actions (login required)

View Item View Item