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.