Open AccessThe Dynamic Epistemic Logic for Actual Knowledge
Author(s) -
Arkadiusz Wójcik
Publication year - 2020
Publication title -
bulletin of the section of logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.225
H-Index - 13
eISSN - 2449-836X
pISSN - 0138-0680
DOI - 10.18778/0138-0680.2020.04
Subject(s) - epistemic modal logic , dynamic logic (digital electronics) , epistemology , omniscience , computer science , multimodal logic , phenomenon , logical consequence , paraconsistent logic , contrast (vision) , mathematics , artificial intelligence , description logic , philosophy , physics , transistor , quantum mechanics , voltage
The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.