Time and modality in the logic of agency
Logic of Action
Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
KeywordsMathematical Logic Computational Linguistic Recent Theory Early Proposal
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Nuel D. Belnap,Backwards and forwards in the modal logic of agency, University of Pittsburgh, 3 June 1990.Philosophy and phenomenological research, forthcoming. Belnap presented an earlier version of this paper under the title “The backwards and forwards of the modal logic of agency” at a Pacific Division meeting of the American Philosophical Association in March 1989.Google Scholar
- Nuel D. Belnap,Before refraining: concepts for agency. University of Pittsburgh, 21 September 1989.Erkenntnis, forthcoming.Google Scholar
- Nuel D. Belnap andMichael Perloff,Seeing to it that: a canonical form for agentives,Theoria 54 (1989), pp. 175–199. In  Belnap notes that “the informal semantic account ofstit is garbled in this paper; the account is correct in ”.Google Scholar
- Nuel D. Belnap andMichael Perloff,Seeing to it that: a canonical form for agentives, inKnowledge, representation and defeasible reasoning, H. E. Kyburg, Jr., R. P. Loui, and G. N. Carlson (eds), Kluwer Academic Publishers, Dordrecht 1990, pp. 167–190. This is a corrected version of , originally read at the 1988 meeting of the Society for Exact Philosophy, in Rochester, New York.Google Scholar
- John P. Burgess,Basic tense logic, inHandbook of philosophical logic. Vol.ii: extensions of classical logic, Dov M. Gabbay and Franz Guenthner (eds), D. Reidel Publ. Co., Dordrecht 1984, pp. 89–133.Google Scholar
- Brian F. Chellas,The logical form of imperatives, Perry Lane Press, Stanford 1969. (Ph.D. dissertation Stanford University 1969.)Google Scholar
- Brian F. Chellas,Imperatives,Theoria 37 (1971), pp. 114–129.Google Scholar
- Brian F. Chellas,Modal logic: an introduction, Cambridge University Press, Cambridge and New York 1980; reprinted with corrections 1988.Google Scholar
- Dov M. Gabbay,Investigations in modal and tense logics with applications to problems in philosophy and linguistics, D. Reidel Publ. Co., Dordrecht 1976.Google Scholar
- Dov M. Gabbay andFranz Guenthner,A note on many-dimensional tense logics, inPhilosophical essays dedicated to Lennart Åquist on his fiftieth birthday, T. Pauli (ed.), University of Uppsala, 1982, pp. 63–70.Google Scholar
- C. L. Hamblin,Imperatives, Basil Blackwell, Oxford and New York 1987.Google Scholar
- J. A. W. Kamp,Formal properties of ‘now’,Theoria 37 (1971), pp. 227–273.Google Scholar
- Storrs McCall,Objective time flow,Philosophy of science 43 (1976), pp. 337–362.Google Scholar
- Krister Segerberg,An essay in classical modal logic, University of Uppsala: Philosophical Studies, 1971.Google Scholar
- Richmond H. Thomason,Indeterminist time and truth-values gaps,Theoria 36 (1970), pp. 264–281.Google Scholar
- Richmond H. Thomason,Combination of tense and modality, inHandbook of philosophical logic. Vol.ii: extensions of classical logic, Dov M. Gabbay and Franz Guenthner (eds), D. Reidel Publ. Co., Dordrecht 1984, pp. 135–165.Google Scholar
- Frank Vlach,Now and then: a formal study in the logic of tense anaphora. Ph.D dissertation, University of California at Los Angeles 1973.Google Scholar
© Kluwer Academic Publishers 1992