императивная логика

Мат. imperative logic, logic of commands