Dynamic Epistemic Logic in practice

Logic

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.

Supervisor

Prof. D.J.N. van Eijck

Co-supervisors

Dr A. Baltag 

Dr K. Su (Griffith University)

Location

Entrance

This event is open to the public.

Published by  University of Amsterdam