Dynamic logic (modal logic)

In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is The ground is dry → [ It rains ] The ground is wet , {\displaystyle {\text{The ground is dry}}\to [{\text{It rains}}]{\text{The ground is wet}},} which states that if the ground is currently dry and it rains, then afterwards the ground will be wet.

Source: Wikipedia — Dynamic logic (modal logic) (CC BY-SA 4.0)