Skip to main content

Dynamic Epistemic Logic

Leading work in dynamic epistemic logic is carried out by Coecke, building further on earlier joint work with Baltag and Sadrzadeh, which provided the first order-theoretic account of BMS dynamic epistemic logic.  

Visitors

Research

Past Members

Alexandru Baltag
(University of Amsterdam)
Jonathan Zvesper