PP-2019-25: Solaki, Anthia (2019) A dynamic epistemic logic for resource-bounded agents. [Pre-print]
Preview |
Text
logica-solaki.pdf Download (324kB) | Preview |
Abstract
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 Philosophy |
| 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 |
