Journal of Symbolic Logic
Modal logic
On the logic of cooperation and propositional control
Artificial Intelligence
On the dynamics of delegation, cooperation, and control: a logical account
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
A logic of games and propositional control
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using $\mathcal{C}$
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Multi-robot learning using non-deterministic argument games
International Journal of Autonomous and Adaptive Communications Systems
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A dynamic logic of institutional actions
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Incentive engineering for Boolean games
Artificial Intelligence
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 |
The 'Cooperation Logic of Propositional Control', CL-PC, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a certain state of affairs in a situation in which each of the agents controls a number of propositional variables.We present a number of generalizations of this model, to represent situations in which agents only partially control the value of a variable, or cases in which agents share the control of a variable. We discuss and axiomatize some of these logics of 'partial control.' In addition, we show how this family of logics are closely connected to a body of work in mathematical logic: Cylindric Modal Logic.