Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.5555/1558109.1558146 | AAMAS (2) |
Keywords | Field | DocType |
propositional control,complete axiomatisation,solution concept,coalition logic,modal formalism,effectivity function,strategic game,social choice theory,underlying structure,modal logic | Intuitionistic logic,Autoepistemic logic,Accessibility relation,Computer science,Description logic,Multimodal logic,Zeroth-order logic,Theoretical computer science,Modal logic,Artificial intelligence,Machine learning,Dynamic logic (modal logic) | Conference |
Citations | PageRank | References |
8 | 0.71 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas Troquard | 1 | 266 | 29.54 |
Wiebe Van Der Hoek | 2 | 2566 | 195.77 |
Michael Wooldridge | 3 | 10010 | 810.27 |