Dynamic epistemic logic

Dynamic Epistemic Logic (DEL) is a formal framework used to model and reason about knowledge and belief in the context of dynamic changes, such as actions or events that affect the state of knowledge. It extends traditional epistemic logic, which deals with static states of knowledge, to capture how knowledge evolves over time in response to specific actions or events. ### Key Concepts in Dynamic Epistemic Logic: 1. **Agents and Knowledge:** DEL focuses on multiple agents with their own knowledge states.