R. Alur
T. A. Henzinger
O. Kupferman
2002
Alternating-Time Temporal Logic
Journal of the ACM
49
672–713
10.1145/585265.585270
Krzysztof R Apt
Bart de Keijzer
Mona Rahn
Guido Schäfer
Sunil Simon
2017
Coordination games on graphs
International Journal of Game Theory
46
3
851–877
10.1007/s00182-016-0560-8
Krzysztof R Apt
Sunil Simon
2015
A classification of weakly acyclic games
Theory and Decision
78
4
501–524
10.1007/978-3-642-33996-7_1
Krzysztof R. Apt
Sunil Simon
Dominik Wojtczak
2015
Coordination Games on Directed Graphs
Proc. of 15th International Conference on Theoretical Aspects of Rationality and Knowledge
10.4204/EPTCS.215.6
J. van Benthem
2001
Games in dynamic epistemic logic
Bulletin of Economic Research
53
4
219–248
10.1111/1467-8586.00133
J. van Benthem
2002
Extensive games as process models
Journal of Logic Language and Information
11
289–313
10.1023/A:1015534111901
Johan van Benthem
Amélie Gheerbrant
2010
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae
100
1-4
19–41
10.3233/FI-2010-261
G. Bonanno
2001
Branching Time Logic, Perfect Information Games and Backward Induction
Games and Economic Behavior
36
1
57–73
10.1006/game.1999.0812
Sylvain Bouveret
Yann Chevaleyre
Nicolas Maudet
2016
Fair Allocation of Indivisible Goods
12
Handbook of Computational Social Choice
Cambridge University Press
Simina Branzei
Ariel D. Procaccia
Jie Zhang
2013
Externalities in cake cutting
Proceedings of the 23rd IJCAI
55–61
E. Budish
2011
The combinatorial assignment problem: Approximate competitive equilibrium from equal incomes
Journal of Political Economy
119
6
1061–1103
10.1086/664613
Krishnendu Chatterjee
Thomas A. Henzinger
Nir Piterman
2010
Strategy logic
Information and Computation
208
6
677–693
10.1016/j.ic.2009.07.004
Y. Chevaleyre
U. Endriss
N. Maudet
2017
Distributed Fair Allocation of Indivisible Goods
Artificial Intelligence
242
1–22
10.1016/j.artint.2016.09.005
Anastasia Damamme
Aurélie Beynier
Yann Chevaleyre
Nicolas Maudet
2015
The power of swap deals in distributed resource allocation
Proceedings of 14th International Conference on Autonomous Agents and Multiagent Systems
625–633
H. Ebbinghaus
J. Flum
1999
Finite Model Theory
Springer
10.1007/3-540-28788-4
R. Engelberg
M. Schapira
2011
Weakly-Acyclic (Internet) Routing Games
Proc. 4th International Symposium on Algorithmic Game Theory (SAGT11)
Lecture Notes in Computer Science
6982
Springer
290–301
10.1007/978-3-642-24829-0_26
Etsushi Fujita
Julien Lesca
Akihisa Sonoda
Taiki Todo
Makoto Yokoo
2015
A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences.
Proceedings of the 29th AAAI Conference on Artificial Intelligence
907–913
10.1613/jair.1.11254
M. Ghodsi
H. Saleh
M. Seddighin
2018
Fair Allocation of Indivisible Items With Externalities
CoRR
abs/1805.06191
http://arxiv.org/abs/1805.06191
V. Goranko
2003
The Basic Algebra of Game Equivalences
Studia Logica
75
2
221–238
10.1023/A:1027311011342
Laurent Gourves
Julien Lesca
Anaëlle Wilczynski
2017
Object allocation via swaps along a social network
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI’17)
213–219
10.24963/ijcai.2017/31
Martin Grohe
1994
The Structure of Fixed Point Logics
Albert-Ludwigs-Universitat
P. Harrenstein
W. van der Hoek
J.J. Meyer
C. Witteven
2003
A Modal Characterization of Nash Equilibrium
Fundamenta Informaticae
57
2-4
281–321
W. van der Hoek
W. Jamroga
M. Wooldridge
2005
A Logic for Strategic Reasoning
Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems
157–164
10.1145/1082473.1082497
E.B. Janovskaya
1968
Equilibrium Points in Polymatrix Games
Litovskii Matematicheskii Sbornik
8
381–384
Bernd Kawald
Pascal Lenzner
2013
On Dynamics in Selfish Network Creation
Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures
ACM
83 – 92
10.1145/2486159.2486185
O. Lev
J. S. Rosenschei
2012
Convergence of iterative voting
Proceedings of AAMAS-2012
611–618
Leonid Libkin
2013
Elements of finite model theory
Springer
10.1007/978-3-662-07003-1
J.R. Marden
G. Arslan
J.S. Shamma
2007
Regret based dynamics: convergence in weakly acyclic games
Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)
IFAAMAS
194–201
10.1145/1329125.1329175
Reshef Meir
Maria Polukarov
Jeffrey S.Rosenschein
Nicholas R.Jennings
2017
Iterative voting and acyclic games
Artificial Intelligence
252
100–122
10.1016/j.artint.2017.08.002
I. Milchtaich
1996
Congestion Games with Player-Specific Payoff Functions
Games and Economic Behaviour
13
111–124
10.1006/game.1996.0027
D. Monderer
L. S. Shapley
1996
Potential Games
Games and Economic Behaviour
14
124–143
10.1006/game.1996.0044
Roger B. Myerson
Robert J. Weber
1993
A Theory of Voting Equilibria
The American Political Science Review
87
1
102–114
10.2307/2938959
R. Parikh
1985
The logic of games and its applications
Annals of Discrete Mathematics
24
111–140
10.1016/S0304-0208(08)73078-0
R. Ramanujam
S. Simon
2008
Dynamic logic on games with structured strategies
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08)
AAAI Press
49–58
A. Reijngoud
U. Endriss
2012
Voter response to iterated poll information
Proceedings of AAMAS-2012
635–644
R. W. Rosenthal
1973
A Class of Games Possessing Pure-Strategy Nash Equilibria
International Journal of Game Theory
2
1
65–67
10.1007/BF01737559
Nicole Schweikardt
2005
Arithmetic, first-order logic, and counting quantifiers
ACM Transactions on Computational Logic
6
3
634–671
10.1145/1071596.1071602
Nicole Schweikardt
2006
On the expressive power of monadic least fixed point logic
Theoretical Computer Science
350
325–344
10.1016/j.tcs.2005.10.025
L. S. Shapley
H. Scarf
1974
On cores and indivisibility
Journal of Mathematical Economics
1
1
23–37
10.1016/0304-4068(74)90033-0
Zhaohong Sun
Hideaki Hata
Taiki Todo
Makoto Yokoo
2015
Exchange of Indivisible Objects with Asymmetry
Proceedings of the 24th International Joint Conference on Artificial Intelligence
97–103
D. Walther
W. van der Hoek
M. Wooldridge
2007
Alternating-time Temporal Logic with Explicit Strategies
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007)
269–278
10.1145/1324249.1324285
H. Peyton Young
1993
The evolution of conventions
Econometrica
61
1
57–84
10.2307/2951778