Explore relationships

Dynamic epistemic logic

Logic of knowledge and information changeDynamic epistemic logic (DEL) is 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.

Use + to expand a branch. Click a topic name to open its summary.