Axioms for deliberative stit

Journal of Philosophical Logic

Volumn 27, Issue 5, 1998, Pages 505-552

  Xu, Ming ^a  

^a CYCORP INC   (United States)

Author keywords

Deliberative stit; Logic of action; Logic of agency; stit

Indexed keywords

EID: 54649084240     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004274131669     Document Type: Article

References (29)

1. Bartha, P.: 1993, "Conditional obligation, deontic paradoxes, and the logic of agency". Annals of Mathematics and Artificial Inteligence 9, 1-23.
2. Belnap, N.: 1991, "Backwards and forwards in the model logic of agency". Philosophy and phenomenological research 51, 777-807.
3. Belnap, N.: 1991a, "Before refraining: concepts for agency". Erkenntnis 34, 137-169.
4. Belnap, N.: Forthcoming, "Agents in branching time". In Logic and Reality: Essays in Pure and Applied Logic, In Memory of Arthur Prior, Oxford University Press.
5. Belnap, N. and Bartha, P.: 1993, "Marcus and the problem of nested deontic modalities", Forthcoming in Modality, Morality, and Belief, Walter Sinnott-Armstrong, Diana Raffman, Nicholas Asher (eds.), Cambrige University Press.
6. Belnap, N. and Perloff, M.: 1988, "Seeing to it that: a canonical form for agentives". Theoria 54, 175-199.
7. Belnap noted that the informal semantic account of stit is garbled in this paper; the account is correct in the version of this paper republished in Knowledge representation and defeasible reasoning, H. E. Kyburg, Jr., R. P. Loui, and G. H. Carlson (eds.), Dordrecht/Boston/London, 1990, pp. 167-190; and it is correct in the version in other papers (such as Belnap 1991 above).
8. Belnap, N. and Perloff, M.: 1992, "The way of agent", Studio. Logica 51, 463-484.
9. Belnap, N. and Perloff, M.: 1993, "In the realm of agents", Annals of Mathematics and Artificial Intelligence 9, 25-48.
10. Brown, M.: 1995, "Stit in time" (abstract). The Bulletin of Symbolic Logic, 1, 1995, 88-89.
11. Chellas, B. F.: 1969, The Logical Form of Imperatives, Perry Lane Press, Stanford.
12. Chellas, B. F.: 1992, "Time and modality in the logic of agency". Studia Logica 51, 485-517.
13. Dummett, M. and Lemmon, E.: 1959, "Modal logics between S4 and S5", Zeitschrift für Mathematics Logik und Grundlagen der Mathematik 5, 250-264.
14. Horty, J. F.: 1989, "An alternative stit operator". Unpublisher manuscript, Philosophy Department, University of Maryland.
15. Horty, J. F. and Belnap, N.: 1995, "The deliberative stit: a study of action, omission, ability, and obligation." Journal of Philosophical Logic 24, 583-644.
16. Parry, W. T.: 1939, "Modalities in the survey system of strict implication". The Journal of Symbolic Logic 4, 137-154.
17. Perloff, M.: 1991, "Stit and the language of agency". Synthese 86, 379-408.
18. Perloff, M.: 1993, "On the logical grammar of imperatives". Unpublished manuscript, Department of Philosophy, University of Pittsburgh.
19. Prior, A.: 1967, Past, present and future. Oxford University Press.
20. Segerberg, K.: 1992, "Getting started: Beginning in the logic of action". Studia Logica 51, 347-378.
21. Thomason, R. H.: 1970, "Indeterminist time and truth-value gaps". Theoria 36, 264-281.
22. Thomason, R. H.: 1981, "Deontic logic as founded on tense logic". In New Studies in Deontic Logic, R. Hilpinen (ed.), D. Reidel Publishing Company, 1981, 165-176.
23. Thomason, R. H.: 1984, "Combinations of tense and modality". In Handbook of Philosophical Logic, vol. II, D. Gabbay and G. Guenthner (eds.), D. Reidel Publishing Company, 1984, pp. 135-165.
24. Von Kutschera, F.: 1986, "Bewirken". Erdenntnis 24, 253-281.
25. Xu, M.: 1994, "Decidability of stit theory with a single agent and refref equivalence". Studia Logica 53, 259-298.
26. Xu, M.: 1994a, "Decidability of deliberative stit theories with multiple agents". Temporal Logic, first international conference, ICTL'94, Bonn, Germany, 1994, proceedings, Dov M. Gabbay and Jans J. Ohlbach (eds.), Springer-Verlag, Berlin, Heidelberg, pp. 332-348.
27. Xu, M.: 1994b, "Doing and refraining from refraining". Journal of Philosophical Logic 23, 621-632.
28. Xu, M.: 1995, "On the basic logic of stit with a single agent". The Journal of Symbolic Logic 60, 459-483.
29. Xu, M.: 1995a, "Busy choice sequences, refraining formulas and modalities". Studia Logica 54, 267-301.