Abstract
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.
Similar content being viewed by others
References
Alchourrón, C. E. and Bulygin, E.: Normative Systems, Springer-Verlag, Wien, 1971.
Belnap, N. and Perloff, M.: Seeing to it that: A canonical form for agentives, Theoria 54 (1988), 175–199.
Belnap, N. and Perloff, M.: The way of the agent, Studia Logica 51 (1992), 463–484.
Brown, M. A.: On the logic of ability, J. Philos. Logic 17 (1988), 1–26.
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.
Chellas, B.: The Logical Form of Imperatives, Perry Lane Press, Palo Alto, 1969.
Chellas, B.: Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
Elgesem, D.: Action theory and modal logic, PhD, Institut for filosofi, Det historisk-filosofiske fakultetet, Universitetet i Oslo, 1993.
Elgesem, D.: The modal logic of agency, Nordic J. Philos. Logic 2(2) (1997), 1–46.
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.
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.
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.
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.
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.
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.
Hintikka, J.: Impossible possible worlds vindicated, J. Philos. Logic 4 (1975), 475–484.
Horty, J. F. and Belnap, N.: The deliberative stit. A study of action, omission, ability, and obligation, J. Philos. Logic 24 (1995), 583–644.
Jones, A. J. I. and Sergot, M.: A formal characterisation of institutionalised power, J. IGPL 3 (1996), 427–443.
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.
Kenny, A.: Will, Freedom and Power, Blackwell, Oxford, 1975.
Kenny, A.: Human abilities and dynamic modalities, in J. Manninen and R. Tuomela (eds.), Essays on Explanation and Understanding, Reidel, Dordrecht, 1976.
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.
Lewis, D.: Intensional logic without iterative axioms, J. Philos. Logic 3(4) (1974), 457–466.
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.
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.
Pörn, I.: The Logic of Power, Blackwell, Oxford, 1970.
Pörn, I.: Action Theory and Social Science: Some Formal Models, Reidel, Dordrecht, 1977.
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.
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.
Segerberg, K.: An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala Universitet, Uppsala, 1971.
Segerberg, K.: Bringing it about, J. Philos. Logic 18 (1989), 327–347.
Segerberg, K.: Getting started: Beginnings in the logic of action, Studia Logica 51 (1992), 347–358.
Sergot, M. and Richards, F.: On the representation of action and agency in the theory of normative positions, Fund. Inform. 48 (2001), 273–293.
Surendonk, T. J.: Canonicity for intensional logics without iterative axioms, J. Philos. Logic 26(4) (1997), 391–409.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Governatori, G., Rotolo, A. On the Axiomatisation of Elgesem's Logic of Agency and Ability. J Philos Logic 34, 403–431 (2005). https://doi.org/10.1007/s10992-004-6368-1
Issue Date:
DOI: https://doi.org/10.1007/s10992-004-6368-1