Speaker: 
Rasmus K. Rendsvig

Title:
Modeling with DEL: The Case for Dynamical Systems

Abstract:
The main goal of this talk is to introduce and argue for the usefulness of dynamical systems of Dynamic Epistemic Logic (DEL) for purposes of modeling graph dynamics (e.g. information dynamics, social network dynamics). The framework of DEL dynamical systems (DELds) allows one to formally define sequential DEL models in a “local” fashion, befitting of the DEL spirit. After reviewing a primary methodological benefit of merging DEL with the classic framework of dynamical systems – namely that we obtain mathematically well-defined, autonomous models – some recent results about DELds' are presented. Finally, the talk is concluded by drawing broader relations between DELds' and the well-established mathematical fields of dynamical systems theory, graph theory and general topology.