Some Examples Formulated in a ‘Seeing to It That’ Logic: Illustrations, Observations, Problems

The chapter presents a series of small examples and discusses how they might be formulated in a ‘seeing to it that’ logic. The aim is to identify some of the strengths and weaknesses of this approach to the treatment of action. The examples have a very simple temporal structure. An element of indeterminism is introduced by uncertainty in the environment and by the actions of other agents. The formalism chosen combines a logic of agency with a transition-based account of action: the semantical framework is a labelled transition system extended with a component that picks out the contribution of a particular agent in a given transition. Although this is not a species of the stit logics associated with Nuel Belnap and colleagues, it does have many features in common. Most of the points that arise apply equally to stit logics. They are, in summary: whether explicit names for actions can be avoided, the need for weaker forms of responsibility or ‘bringing it about’ than are captured by stit and similar logics, some common patterns in which one agent’s actions constrain or determine the actions of another, and some comments on the effects that level of detail, or ‘granularity’, of a representation can have on the properties we wish to examine.