La logique épistémique dynamique  est un cadre logique traitant du changement des connaissances et de l'information. En règle générale, la logique épistémique dynamique se concentre sur les situations impliquant plusieurs agents et étudie comment leurs connaissances changent lorsque des événements se produisent.