The Linux Foundation Projects
Skip to main content

Dynamic Epistemic Logic

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.