 Consequentialist logics have been developed to reason about action and consequence, and have interesting applications in deontic logic, such as Kooi &amp; Tamminga 2008; Tamminga 2013; Turrini 2012. They are moreover the basis of temporal logics of strategy such as STIT and strategic STIT, discussed later. A special case are the logics of propositional control (Hoek &amp; Wooldridge 2005; Troquard, Hoek, &amp; Wooldridge 2009).