Strategic logics : complexity, completeness and expressivity
by transferring normative attributes from an agent to another. Such interactions are called delegation. Formal models of delegation and control were studied in, e.g., [189, 149, 191]. In this work, we consider the scenario where agents delegate control over propositions to other agents. The distinct...
Main Author: | Walther, Dirk |
---|---|
Published: |
University of Liverpool
2007
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485912 |
Similar Items
-
Hoare logic and VDM : machine-checked soundness and completeness proofs
by: Kleymann, Thomas
Published: (1998) -
Hierarchies in first-order logic and parameterized complexity
by: He, Y.
Published: (2011) -
The logic of trust
by: Harwood, William
Published: (2012) -
Abstract hoare logic
by: Mathiesen, Erik Arne
Published: (2007) -
Compositional logic programming
by: McPhee, Richard
Published: (2000)