Imperatives and their logics