Elgesem, D. (1997), `The modal logic of agency', Nordic Journal of Philosophical Logic 2, 1--48. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Actions, Institutions, Powers. Preliminary Notes - Governatori, Gelati, Rotolo.. (2002) (Correct)
.... the DEON conferences, which show how normative logic has been moving into the direction above indicated) In particular we will refer here to the tradition of research which starts with the work of Scandinavian logicians and legal theorists, such as Kanger, Lindhal, and Porn and (see for a review [12], and continues with the work of Carmo, Jones, Sergot, and their colleagues ( 25, 18] In this paper we will move from the latter tradition, and after commenting on previous work on action, counts as connections, and institutionalised power, and identifying some issues, we will attempt at ....
....of hierarchies over agents. 2 Actions and Obligations Let us first outline the logic adopted here to deal with the concepts of action and obligation. Our approach falls within the well known Kanger Lindahl Porn logical theory designed to account for agency and organised interaction (see [12]) More precisely, our aim is to extend and take advantage of what developed by F. Santos, A. Jones and J. Carmo in [24, 25] in the following SJC) Let us recall the set of action concepts discussed there. In short, SJC use three kinds of action operators: E, G and H. The first is the well known ....
D. Elgesem. The Modal Logic of Agency. Nordic Journal of Philosophical Logic 2 (1997).
A Survey of Trust in Internet Applications - Grandison, Sloman (2000) (25 citations) (Correct)
....involves specifying and reasoning about beliefs. Forms of first order predicate logic [6467 ] or (modified) modal logic [68 71] have been used to represent trust and its associated concepts. A logic used to formalise trust must represent actions and interactions to cater for distributed agents [72, 73]. Simple relational formalisms are used to model trust with statements of the form Ta b, which means a trusts b [64 67] Each formalism extends this primitive construct with features such as temporal constraints and predicate arguments. Given these primitives, traditional conjunction, ....
Elgesem D., The Modal Logic of Agency, Journal of Philosophical Logic, 1997, 2(2): p. 1-46.
A Survey of Trust in Internet Applications - Grandison, al. (2000) (25 citations) (Correct)
....involves specifying and reasoning about beliefs. Forms of first order predicate logic [64 67] or (modified) modal logic [68 71] have been used to represent trust and its associated concepts. A logic used to formalize trust must represent actions and interactions to cater for distributed agents [72, 73]. Simple relational formalisms are used to model trust with statements of the form T a b, which means a trusts b [64 67] Each formalism extends this primitive construct with features such as temporal constraints and predicate arguments. Given these primitives, traditional conjunction, ....
D. Elgesem, "The Modal Logic of Agency," Journal of Philosophical Logic, 1997, vol. 2, no. 2, pp. 1--46.
Toward A Framework For Agency, Inevitability, Praise And Blame - McNamara (2000) (Correct)
....results in outright inconsistency. So iteration turns out to be subtler here than it is with bimodal normal modal logics. Let me also briefly note that aside from TEC NO KT s appearing to blend some of the best elements of Brown 1992 and Santos and Carmo 1996, one central semantic notion in Elgesem 1993 and 1997 appears to be definable using CO and BA. Elgesem uses a function, f, from a world proposition pair to a set of worlds: f (i, X) is intended to denote a set of worlds (possible empty) where the agent realizes the ability (possibly vacuous) she possess in i to bring about X. In our framework, this ....
Elgesem, D. 1997. The modal logic of agency. Nordic Journal of Philosophical Logic, vol. 2, no. 2, pp. 1--46.
On the Axiomatization of Elgesem's Logic of Ability and.. - Guido Governatori School Self-citation (Elgesem) (Correct)
No context found.
Dag Elgesem. The modal logic of agency. Nordic Journal of Philosphical Logic, 2(2):1--46, 1997.
On the Axiomatization of Elgesem's Logic of Agency and Ability - Governatori, Rotolo Self-citation (Elgesem) (Correct)
No context found.
Dag Elgesem. The modal logic of agency. Nordic Journal of Philosphical Logic, 2(2):1--46, 1997.
Process Modelling: The Deontic Way - Vineet Padmanabhan Guido (Correct)
No context found.
Elgesem, D. (1997), `The modal logic of agency', Nordic Journal of Philosophical Logic 2, 1--48.
Ability in a Multi-Agent Context: A Model in the Situation.. - Cholvy, Garion, Saurel (Correct)
No context found.
D. Elgesem. The modal logic of agency. Nordic Journal of Philosophical Logic, 2(2):1--46, 1997.
Conventional Signalling Acts and Conversation - Jones, Parent (Correct)
No context found.
D. Elgesem. Action Theory and Modal Logic. PhD thesis, Institutt for loso . Det historik- loso ske fakultetet. Universitetet Oslo, 1993. See also Elgesem's paper `The modal logic of agency'. In The Nordic Journal of Philosophical Logic, vol. 2, 1997, pp. 1-46.
Declarative Power, Representation, and Mandate. A.. - Gelati, Governatori, .. (2002) (Correct)
No context found.
D. Elgesem. The Modal Logic of Agency. Nordic Journal of Philosophical Logic 2:1--46, 1997.
A Defeasible Logic of Institutional Agency - Governatori, Rotolo (2003) (Correct)
No context found.
D. Elgesem. The modal logic of agency. Nordic Journal of Philosophical Logic, 2:1--48, 1997.
Validity of Practical Inference - Berislav Zarni May (Correct)
No context found.
D. Elgesem. The modal logic of agency. Nordic Journal of Philosophical Logic, 2(2): 1-46, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC