Imperative logic
[es] Lógica imperativa
[fa] منطق امری
[fr] Logique de l'action
[ja] 命令論理
[pt] Lógica imperativa