 Meyer’s analysis reduces the deontic status of a given action (at a given state w) to the occurrence of violations in its terminal states (reachable from w through that action), giving rise to so-called “goal norms”. In contrast, one may also consider “process norms” that concern all the intermediate states that are “passed by” when carrying out a given action at a state. Deontic logics of the latter type have been proposed in van der Meyden 1996; see Broersen 2004, Kulicki and Trypuz 2017, Canavotto and Giordani 2019 for discussions of this distinction.