Group delegation and responsibility
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
On the logic of cooperation and propositional control
Artificial Intelligence
A logic for strategic reasoning
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Artificial Intelligence
A cooperation logic for declaration structures
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
Commitments with regulations: reasoning about safety and control in REGULA
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
We present DCL-PC: a dynamic logic of delegation and cooperation. The logical foundation of DCL-PC is CL-PC, a logic for reasoning about cooperation in which the powers of agents and coalitions of agents stem from a distribution of atomic Boolean variables to individual agents - the choices available to coalitions in CL-PC correspond to the possible truth assignments to the propositions they control. The basic modal constructs of CL-PC are of the form "coalition C can cooperate to bring about φ". DCL-PC extends CL-PC with dynamic logic modalities in which atomic programs are of the form "agent i gives proposition p to agent j". By combining these dynamic delegation operators with cooperation modalities, it is possible to reason about delegation and how it affects the power structure within a society. We give two alternative semantics for the logic, (a "direct" semantics, in which we directly represent the distributions of atomic propositions to agents, and a more conventional Kripke semantics), and prove that these semantics are equivalent. We then present a sound and complete axiomatization, and investigate the computational complexity of the model checking and satisfiability problems for DCL-PC.