1. Aqvist, L.: 1974, ‘A New Approach to the Logical Theory of Actions and Causality’, in S., Stenlund (ed.), Logical Theory and Semantic Analysis, Essays Dedicated to Stig Kanger on his Fiftieth Birthday, D. Reidel, Dordrecht, pp. 73–91.
2. Aqvist, L.: 1978, ‘An Analysis of Action Sentences Based on a ‘Tree’ System of Modal Tense Logic’, in C., Rohrer (ed.), Papers on Tense, Aspect and Verb Classification, TBL Verlag Gunter Narr, Tubingen, pp. 111–61.
3. Belnap, N.: 1988, ‘Declaratives Are Not Enough’, Philosophical Studies 59, 1–30.
4. Belnap, N.: 1989, ‘Backwards and Forwards in the Modal Logic of Agency’, unpublished manuscript, University of Pittsburgh, Department of Philosophy, September, forthcoming in Philosophy and Phenomonological Research in early 1993.
5. Belnap, N. and Perloff, M.: 1989, ‘Seeing to it That: a Canonical Form for Agentives’, Theoria 54, 175–99. W. Edelberg pointed out to us that the informal semantic account of stit is garbled in this paper; the account is corrected in the version of this paper republished in H. E. Kyburg Jr., R. P. Loui, and G. N. Carlson (eds.): 1990, Knowledge Representation and Defeasible Reasoning, Studies in Cognitive Systems, vol. 5, Kluwer Academic Publishers, Dordrecht, pp. 167–90.