Backwards and Forwards in the Modal Logic of Agency
Nuel Belnap · Philosophy and Phenomenological Research · 1991
By logic I mean logic whose grammar includes an intensional construct having sentences as both inputs and outputs. A logic of intends that some such construct express agency (or action), as, for example, the English construct a sees to it that Q. In the following four sections I (1) give brief retrospective, (2) restate some of the claims of Belnap and Perloff 1988, (3) motivate the desirability of modal logic of agency, and (4) draw ten pictures illustrating some of the cases in which such logic can provide clarification.'