On the Axiomatisation of Elgesem's Logic of Agency and Ability
Journal of Philosophical LogicPublished 1 August 2005
Guido Governatori, Antonino Rotolo
Citations45
SJR quartileQ1
SJR score1.50
SNIP1.90
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
It is shown that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics and it is argued that completeness result may be easily regained.
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.
Keywords
PsychologyComputer ScienceNeuroscience
Modal Logic: An Introduction
1,810 Citations1980Brian F. Chellas
Logic Journal of IGPLA Formal Characterisation of Institutionalised Power
470 Citations1996Andrew Jones, Marek Sergot
This work distinguishes institutionalised power from permission and practical possibility, and develops a conditional connective intended to capture the consequence relation implicit in statements of the form that facilitates the analysis of a number of notions crucial to the understanding of organised interaction in institutions.
Deontic logic in computer science: normative system specification
297 Citations1994John‐Jules Ch. Meyer, Roel Wieringa
Tutorial introduction deontic logic normative system specification legal applications specification of policies and practical applications of policies.
Journal of Philosophical LogicThe deliberative stit: A study of action, omission, ability, and obligation
253 Citations1995John F. Horty, Nuel Belnap
L'A. Horty propose une alternative a la stit theory (selon laquelle l'agent sees to it that A) developpee par N. Belnap et M. Perloff en terme de logique de l'accomplissement.
ACM Transactions on Computational LogicA computational theory of normative positions
118 Citations2001Marek Sergot
This paper presents Norman-G, an automated support system intended to facilitate application of the Kanger-Lindahl theory of normative positions to the analysis of practical problems, with a small example to illustrate its use.
Action Theory and Social Science
102 Citations1977Ingmar Pörn
Studia LogicaGetting started: Beginnings in the logic of action
99 Citations1992Krister Segerberg
A history of the logic of action is outlined, beginning with St Anselm and five modern authors are discussed in some detail: von Wright, Fitch, Kanger, Chellas and Pratt.
Data Archiving and Networked Services (DANS)Deontic logic: a concise overview
90 Citations1994J.-J.Ch. Meyer, Roel Wieringa
A short (and incomplete) historic overview of the branch of modal logic that is concerned with (reasoning about) norms and normative behaviour, viz. deontic logic.
Lecture notes in computer scienceDefeasible Logic: Agency, Intention and Obligation
82 Citations2004Guido Governatori, Antonino Rotolo
A computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation is proposed and shown how to represent and reason with them in the setting of defeasible logic.
Human Abilities and Dynamic Modalities
74 Citations1976Anthony Kenny
Workshops in computingIndirect Action, Influence and Responsibility
56 Citations1996Filipe Santos, José Carmo
A new action concept is proposed, within the same tradition of the logical characterization of act descriptions as employed by Kanger, Porn and Lindhal, that sums up a successful goal oriented social activity into a unique assertion referring to the agent who has initiated it.
Workshops in computingDeontic Logic, Agency and Normative Systems
54 Citations1996Mark A. Brown, José Carmo
The agency concept of DONE-BY is being brought into closer conformity with Belnap's emerging stit logic, with the modifications of deontic logic accompanying such changes.
Studia LogicaThe way of the agent
53 Citations1992Nuel Belnap, Michael Perloff
The conditional,if an agent did something, then the agent could have done otherwise, is analyzed using stit theory, which is a logic of “seeing to it that” based on agents making choices in the context of branching time.
Action concepts for describing organised interaction
49 Citations2002Filipe Santos, Andrew Jones +1 more
The focus of interest is on the notion of transmission of agency, and on the characterisation of the conditions under which an organisation recognises that LDI agent has fulfilled the responsibilities assigned to him.
Applied logic seriesFrom Classical to Normal Modal Logics
36 Citations1996Olivier Gasquet, Andreas Herzig
Declarative power, representation, and mandate: A formal analysis
32 Citations2002Jonathan Gelati, Guido Governatori +2 more
This paper provides a formal framework for developing the idea of declarative power, which consists in the capacity of the power-holder of creating normative positions, involving other agents, simply by "proclaiming" such positions.
Deontic Logic in Computer ScienceDeontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles
32 Citations2001José Carmo, Olga Pacheco
This paper extends the "sees to it" action operator with an explicit index that states the quality (role) in which the agent has acted, and shows how to associate obligations to roles, and illustrates how this can be used to express the desired flow of obligations.
Queensland's institutional digital repository (The University of Queensland)Actions, institutions, powers: Preliminary notes
30 Citations2002Guido Governatori, Jonathan Gelati +2 more
Trends in logicOn Action and Agency
28 Citations1997Risto Hilpinen
There is a great deal of uniformity behind the apparent diversity of approaches and theories in the recent work on the logic of action and agency.
On the Representation of Action and Agency in the Theory of Normative Positions
22 Citations2001Marek Sergot, Fiona Richards
The theory of normative positions attempts to apply a combination of deontic logic and a logic of action/agency to the formalisation of the `Hohfeldian concepts' (duty, right, power, privilege, etc.) and other complex normative relations between agents with particular attention to the usefulness of the action component as a representational device.
Journal of Philosophical LogicCanonicity for Intensional Logics Without Iterative Axioms
10 Citations1997Timothy J. Surendonk
This paper provides a proof that all logics without iterative axioms are canonical and so strongly complete and discusses the differences between relational and neighborhood frame semantics.
Lecture notes in computer scienceActions Made Explicit in BDI
9 Citations2001Vineet Padmanabhan, Guido Governatori +1 more
It is argued that the Result of an action performed by an agent is extremely important when dealing with composite actions and hence the need for an explicit representation of them and an OPP (opportunity) operator which in alliance with Result and Capability provides better semantics for practical reasoning in BDI.