Journal of Philosophical Logic

, Volume 34, Issue 4, pp 403–431 | Cite as

On the Axiomatisation of Elgesem's Logic of Agency and Ability

  • Guido Governatori
  • Antonino Rotolo


In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem's modal logic of agency and ability using semantics with different flavours.


Modal Logic Completeness Result Intended Semantic Philosophical Intuition Hilbert System 
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.

Unable to display preview. Download preview PDF.


  1. 1.
    Alchourrón, C. E. and Bulygin, E.: Normative Systems, Springer-Verlag, Wien, 1971. Google Scholar
  2. 2.
    Belnap, N. and Perloff, M.: Seeing to it that: A canonical form for agentives, Theoria 54 (1988), 175–199. Google Scholar
  3. 3.
    Belnap, N. and Perloff, M.: The way of the agent, Studia Logica 51 (1992), 463–484. CrossRefGoogle Scholar
  4. 4.
    Brown, M. A.: On the logic of ability, J. Philos. Logic 17 (1988), 1–26. CrossRefGoogle Scholar
  5. 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. Google Scholar
  6. 6.
    Chellas, B.: The Logical Form of Imperatives, Perry Lane Press, Palo Alto, 1969. Google Scholar
  7. 7.
    Chellas, B.: Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980. Google Scholar
  8. 8.
    Elgesem, D.: Action theory and modal logic, PhD, Institut for filosofi, Det historisk-filosofiske fakultetet, Universitetet i Oslo, 1993. Google Scholar
  9. 9.
    Elgesem, D.: The modal logic of agency, Nordic J. Philos. Logic 2(2) (1997), 1–46. Google Scholar
  10. 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. Google Scholar
  11. 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. Google Scholar
  12. 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. Google Scholar
  13. 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. Google Scholar
  14. 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. Google Scholar
  15. 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. Google Scholar
  16. 16.
    Hintikka, J.: Impossible possible worlds vindicated, J. Philos. Logic 4 (1975), 475–484. CrossRefGoogle Scholar
  17. 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. CrossRefGoogle Scholar
  18. 18.
    Jones, A. J. I. and Sergot, M.: A formal characterisation of institutionalised power, J. IGPL 3 (1996), 427–443. Google Scholar
  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. Google Scholar
  20. 20.
    Kenny, A.: Will, Freedom and Power, Blackwell, Oxford, 1975. Google Scholar
  21. 21.
    Kenny, A.: Human abilities and dynamic modalities, in J. Manninen and R. Tuomela (eds.), Essays on Explanation and Understanding, Reidel, Dordrecht, 1976. Google Scholar
  22. 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. Google Scholar
  23. 23.
    Lewis, D.: Intensional logic without iterative axioms, J. Philos. Logic 3(4) (1974), 457–466. CrossRefGoogle Scholar
  24. 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. Google Scholar
  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. Google Scholar
  26. 26.
    Pörn, I.: The Logic of Power, Blackwell, Oxford, 1970. Google Scholar
  27. 27.
    Pörn, I.: Action Theory and Social Science: Some Formal Models, Reidel, Dordrecht, 1977. Google Scholar
  28. 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. Google Scholar
  29. 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. Google Scholar
  30. 30.
    Segerberg, K.: An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala Universitet, Uppsala, 1971. Google Scholar
  31. 31.
    Segerberg, K.: Bringing it about, J. Philos. Logic 18 (1989), 327–347. CrossRefGoogle Scholar
  32. 32.
    Segerberg, K.: Getting started: Beginnings in the logic of action, Studia Logica 51 (1992), 347–358. CrossRefGoogle Scholar
  33. 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. Google Scholar
  34. 34.
    Surendonk, T. J.: Canonicity for intensional logics without iterative axioms, J. Philos. Logic 26(4) (1997), 391–409. CrossRefGoogle Scholar

Copyright information

© Springer 2005

Authors and Affiliations

  1. 1.School of Information Technology and Electrical EngineeringThe University of QueenslandBrisbaneAustralia
  2. 2.CIRSFID, Law FacultyUniversity of BolognaBolognaItaly

Personalised recommendations