This is an example of dynamic logic.
Ова е пример за динамичка логика.