Sonja Smets (Univ. of Amsterdam, The Netherlands)

Dynamic Epistemic Logic for Formal Epistemology

Abstract: In this tutorial, we explore how the tools of logic can shed new light on central epistemological questions. We focus on formal approaches to qualitative belief representation, belief revision, knowledge updates, interactive learning, and doxastic group attitudes. By bridging our investigation with research in Dynamic Epistemic Logic, Belief Revision Theory and Formal Learning Theory, we uncover essential connections across these domains. Merging insights from these areas also allows us to address questions in social epistemology by focusing on the social group dynamics. Beyond philosophy, these frameworks have direct relevance for the logical study of multi-agent systems in AI.