On the axiomatisation of Elgesem's logic of agency and ability

Journal of Philosophical Logic

Volumn 34, Issue 4, 2005, Pages 403-431

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33746355562     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1007/s10992-004-6368-1     Document Type: Article

References (34)

1. Alchourrón, C. E. and Bulygin, E.: Normative Systems, Springer-Verlag, Wien, 1971.
2. Belnap, N. and Perloff, M.: Seeing to it that: A canonical form for agentives, Theoria 54 (1988),175-199.
3. Belnap, N. and Perloff, M.: The way of the agent, Studia Logica 51 (1992), 463-484.
4. Brown, M. A.: On the logic of ability, J. Philos. Logic 17 (1988), 1-26.
5. Carmo, J. and Pacheco, O.: Deontic and action logics for organized collective agency modeled through institutionalized agents and roles, Fund. Inform. 48 (2001), 129-163.
6. Chellas, B.: The Logical Form of Imperatives, Perry Lane Press, Palo Alto, 1969.
7. Chellas, B.: Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
8. Elgesem, D.: Action theory and modal logic, PhD, Institut for filosofi, Det historisk-filosofiske fakultetet, Universitetet i Oslo, 1993.
9. Elgesem, D.: The modal logic of agency, Nordic J. Philos. Logic 2(2) (1997), 1-46.
10. Gasquet, O. and Herzig, A.: From classical to normal modal logic, in H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer, Dordrecht, 1996, pp. 293-311.
11. Gelati, J., Governatori, G., Rotolo, A. and Sartor, G.: Declarative power, representation, and mandate: A formal analysis, in T. Bench-Capon, A. Daskalopulu and R. Winkels (eds.), Legal Knowledge and Information Systems, IOS Press, Amsterdam, 2002, pp. 41-52.
12. Governatori, G., Gelati, J., Rotolo, A. and Sartor, G.: Actions, institutions, powers. Preliminary notes, in G. Lindemann, D. Moldt, M. Paolucci and B. Yu (eds.), International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), Fachbereich Informatik, Universität Hamburg, 2002, pp. 131-147.
13. Governatori, G. and Rotolo, A.: Defeasible logic: Agency, intention and obligation, in A. Lomuscio and D. Nute (eds.), Deontic Logic in Computer Science, LNAI 3065, Springer-Verlag, Berlin, 2004, pp. 114-128.
14. Hansson, B. and Gärdenfors, P.: A guide to intensional semantics, in Modality, Morality and Other Problems of Sense and Nonsense. Essays Dedicated to Sören Halldén, Gleerup, Lund, 1973, pp. 151-167.
15. Hilpinen, R.: On action and agency, in E. Ejerhed and S. Lindström (eds.), Logic, Action and Cognition: Essays in Philosophical Logic, Kluwer Academic Publishers, Dordrecht, 1997, pp. 3-27.
16. Hintikka, J.: Impossible possible worlds vindicated, J. Philos. Logic 4 (1975), 475-484.
17. Horty, J. F. and Belnap, N.: The deliberative stit. A study of action, omission, ability, and obligation, J. Philos. Logic 24 (1995), 583-644.
18. Jones, A. J. I. and Sergot, M.: A formal characterisation of institutionalised power, J. IGPL 3 (1996), 427-443.
19. 19. Jones, A. J. I.: A logical framework, in J. Pitt (ed.), Open Agent Societies: Normative Specifications in Multi-Agent Systems, Wiley, Chichester, 2003, Chapter 3.
20. Kenny, A.: Will, Freedom and Power, Blackwell, Oxford, 1975.
21. Kenny, A.: Human abilities and dynamic modalities, in J. Manninen and R. Tuomela (eds.), Essays on Explanation and Understanding, Reidel, Dordrecht, 1976.
22. Kripke, S. A.: Semantical analysis of modal logic II, in Addison, Henkin and Tarski (eds.), The Theory of Models, North-Holland, Amsterdam, 1965, pp. 206-220.
23. Lewis, D.: Intensional logic without iterative axioms, J. Philos. Logic 3(4) (1974), 457-466.
24. Meyer, J.-J. Ch. and Wieringa, R. J.: Deontic logic: A concise overview, in J.-J. Ch. Meyer and R. J. Wieringa (eds.), Deontic Logic in Computer Science: Normative System Specification, Wiley, New York, 1993, pp. 3-16.
25. 25. Padmanabhan, V. N., Governatori, G. and Sattar, A.: Actions made explicit in BDI, in M. Stumptner, D. Corbett and M. J. Brooks (eds.), Advances in Artificial Intelligence, LNCS 2256, Springer-Verlag, 2001, pp. 390-401.
26. Pörn, I.: The Logic of Power, Blackwell, Oxford, 1970.
27. Pörn, I.: Action Theory and Social Science: Some Formal Models, Reidel, Dordrecht, 1977.
28. Santos, F. and Carmo, J.: Indirect action. Influence and responsibility, in M. Brown and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, Springer, Berlin, 1996.
29. Santos, F., Jones, A. J. I. and Carmo, J.: Action concepts for describing organised interaction, in Thirtieth Annual Hawaii International Conference on System Sciences, IEEE Computer Society Press, Los Alamitos, 1997.
30. Segerberg, K.: An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala Universitet, Uppsala, 1971.
31. Segerberg, K.: Bringing it about, J. Philos. Logic 18 (1989), 327-347.
32. Segerberg, K.: Getting started: Beginnings in the logic of action, Studia Logica 51 (1992), 347-358.
33. Sergot, M. and Richards, F.: On the representation of action and agency in the theory of normative positions, Fund. Inform. 48 (2001), 273-293.
34. Surendonk, T. J.: Canonicity for intensional logics without iterative axioms, J. Philos. Logic 26(4) (1997), 391-409.