Динамическая эпистемическая логика — это логический framework для моделирования знания и изменения информации. Она часто используется в multi-agent settings, где события, объявления или наблюдения меняют то, что агенты знают или во что верят.
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.