Sciweavers

Share
ATAL
2009
Springer

A logic of games and propositional control

9 years 3 months ago
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
Nicolas Troquard, Wiebe van der Hoek, Michael Wool
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ATAL
Authors Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
Comments (0)
books