Modal logic
Axiomatising Nash-Consistent Coalition Logic
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
On the logic of cooperation and propositional control
Artificial Intelligence
Logics of propositional control
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Reasoning about judgment and preference aggregation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A logic of propositional control for truthful implementations
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
A cooperation logic for declaration structures
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Epistemic games in modal logic: joint actions, knowledge and preferences all together
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Alternating-time dynamic logic
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
| Hi-index | 0.01 |
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outcomes and preferences over outcomes. We study the underlying structure of powers of coalitions as they are expressed in their effectivity function, and formalise a collection of solution concepts. We provide a sound and complete axiomatisation for the logic, and we demonstrate its features by applying it to some problems from social choice theory.