Leading work in epistemic dynamic logic is carried out by Baltag, collaborating with Abramsky, Coecke and researchers at other universities. Baltag's BMS approach has become the main paradigm in the field of Dynamic-Epistemic Logic (DEL), and is becoming widely used in other groups for applications such as security.
