In contrast, in dynamic logic, there is not always a mechanism driving the output high or low.

There are several powersaving techniques that can be implemented in a dynamic logic based system.

Now, dynamic logic is the same thing, with the addition of time.

The interpretations of and are if fact the "classical" ones from dynamic logic.

The computational complexity of dynamic logic is linear in N.

The figure below illustrates operations of dynamic logic.

The construct if p then a else b is realized in dynamic logic as .

These concepts apply to all systems of logic including dynamic logic.

As can be seen from the examples above, dynamic logic adds a third type of term denoting actions.

Harel is best known for his work on dynamic logic, computability and software engineering.