Thesis / Dissertation

Extended Model Semantics and Forgetting in Dynamic Epistemic Logic

Timo Eckhardt, Gregory Restall (ed.)

Published : 2021


In this thesis I investigate the idea of modeling epistemic updates as static modal operators. I discuss Extended Model Semantics for Dynamic Epistemic Logics, specifically Action Model Logic with postconditions. I argue that we get a better and more versatile framework for epistemic actions than with the standard update semantics. This comes from the use of normality conditions which act like frame conditions for the modal relationships corresponding to actions. By defining those we pin-point the exact type of actions we are trying to model and so they give us an easy option to change our actions by simply adding, removing, or changing normality conditions. Extended models will be used to ..

View full abstract