Moore was in many ways a pioneer of the use of logics for capturing aspects of agency [Moore, 1990]. His main concern was the study of knowledge pre-conditions for actions - the question of what an agent needs to know in order to be able to perform some action. He formalised a model of ability in a logic containing a modality for knowledge, and a dynamic logic-like apparatus for modelling action (cf. [Harel, 1984]). This formalism allowed for the possibility of an agent having incomplete information about how to achieve some goal, and performing actions in order to find out how to achieve it. Critiques of the formalism (and attempts to improve on it) may be found in [Lespérance, 1989][Morgenstern, 1987].