Paraconsistent Dynamic Epistemic Logic

Cas Baskent

Dynamic epistemic logic discusses the knowledge change in multi-agent systems. Paraconsistent logic, on the other hand, is the logic where inconsistencies do not lead to trivialities. In this talk, I will describe a method to define a dynamic epistemic logic for inconsistent agents. In order to achieve this, I will combine paraconsistent logic and topological semantics, and observe how dynamic epistemic updates fit in this framework.