A logical framework combining epistemic logic with dynamic logic to model how agents' knowledge and beliefs change in response to communication, observation, and action.
Models the dynamics of information: public announcements, private communications, and observations change what agents know; provides formal tools for analyzing puzzles about knowledge updates (muddy children, card games, lying).
No conceptual lineage found.
No recorded contemporaries.
No recorded minds influenced.
No conceptual posterity found.
Discussing
Ask anything about Dynamic Epistemic Logic — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.