Dynamic logic (modal logic)
[fa] منطق پویا (منطق وجهی)
[fr] Logique dynamique
[it] Logica dinamica
[pt] Lógica dinâmica