Dynamic epistemic logic is a logical framework for modeling knowledge and information change. It is often used for multi-agent settings where events, announcements, or observations alter what agents know or believe.
A logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving multiple agents and studies how their knowledge changes when events occur.