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.
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.