English Dynamic epistemic logic Cited by user Guillaume.Aucher on 11 Dec 2015 Dynamic Epistemic Logic (DEL) is a logic for reasoning about information change and exchange of information.