A logic of games and propositional control

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. Categories and Subject Descriptors I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods—modal logic; I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence—multiagent systems General Terms Theory Keywords propositional control, modal logic, strategic games, effectivity functions, solution concepts, game solvability

• Type: Conference
• Year: 2009
• Where: ATAL
• Authors: Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
• Keywords: Artificial Intelligence, ATAL 2009, Logic, Propositional Control, Strategic Games