Dynamic Epistemic Logic
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
Dynamic epistemic logic, or DEL, is the branch of modal logic that studies model change, using formal tools to characterize how epistemic actions such as public announcements and private messages alter agents' states of knowledge and belief. It is a highly active area of applied logic, closely tied to belief revision theory and to the analysis of distributed knowledge.
SCAFFOLDING EFFECT
Reduce cognitive load
- Model information flow: treat an announcement as deleting conflicting possible worlds, then trace how each party's knowledge state changes. - Reason from many viewpoints: distinguish who observed the event, then predict how one message affects each party differently. - Separate update from revision: keep knowledge change distinct from belief revision when incoming information may be false.
Anchor fast decisions
Information events are modeled as transformations of an epistemic model: the model consists of possible worlds plus indistinguishability relations among agents, and a public announcement deletes all worlds conflicting with its content, so the epistemic configuration contracts. Because agents differ in what they can observe of an event, the same announcement can produce different updates for different parties.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/dynamic-epistemic/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS