For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

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.

Event details of Dynamic Epistemic Logic in practice
Date 13 June 2018
Time 11:00 -12:00
Location Aula - Lutherse kerk
Room Location

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)

Aula - Lutherse kerk

Room Location

Singel 411
1012 XM Amsterdam

Entrance

This event is open to the public.