Dynamic Epistemic Logic

Dynamic Epistemic Logic (DEL) is a formal framework for reasoning about knowledge and its change in multi-agent systems, aiming to model how agents' knowledge evolves through actions and communication. Current research focuses on developing efficient algorithms for epistemic planning, particularly addressing challenges posed by incomplete information and unreliable communication, often employing techniques like process algebra, depth-bounded reasoning, and symbolic model checking with Zero-suppressed Decision Diagrams (ZDDs). DEL's applications span diverse fields, including robotics, distributed systems, and artificial intelligence, offering a powerful tool for analyzing and verifying the behavior of complex systems involving knowledge and belief updates.