ELI5: Explain Like I'm 5

Dynamic logic (modal logic)

Dynamic logic (modal logic) is a set of rules that tells us how reasoning, truth and knowledge changes over time. It helps us to understand how a situation could be different in the future or how it might have been different in the past. For example, you might think a statement is true now but if something changes in the future, the statement might no longer be true. Dynamic logic allows us to look at the situation in a different way and understand how it can change.