This is an example of dynamic logic.
Ini adalah contoh dari logika dinamis.