Reasoning about Social Choice and Games in Monadic Fixed-Point Logic.

Ramit Das R. Ramanujam Sunil Simon

Published in: TARK (2019)

Keyphrases

fixed point
social choice
computational social choice
sufficient conditions
dynamical systems
logic programming
computationally feasible
belief propagation
mechanism design
search space
game theory
link prediction
game theoretic
higher order
modal logic
coalitional games