Dynamic Epistemic Logic in practice


13June2018 11:00 - 12:00

PhD defence ceremony

Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing implementations are based on explicit model checking, which can only deal with small models. As a result, we do not know how DEL performs for larger and real-world problems. Malvin Gattinger develops new representations of DEL models as knowledge and belief structures that can be checked through symbolic model checking, which can deal with very large models.

B.R.M. Gattinger: New Directions in Model Checking Dynamic Epistemic Logic.


Prof. D.J.N. van Eijck


Dr A. Baltag 

Dr K. Su (Griffith University)



This event is open to the public.

Published by  University of Amsterdam