Imperatives: a Judgemental Analysis

2 Abstract. This paper proposes a framework for formalising intuitions about the be3 haviour of imperative commands. It seeks to capture notions of satisfaction and coherence. 4 Rules are proposed to express key aspects of the general logical behaviour of imperative 5 constructions. A key objective is for the framework to allow patterns of behaviour to 6 be described while avoiding making any commitments about how commands, and their 7 satisfaction criteria, are to be interpreted. We consider the status of some conundrums of 8 imperative logic in the context of this proposal. 9