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.  

Faculty

Research

Past Members