Logic and Social Choice Theory
Ulle Endriss

Abstract:
We give an introduction to social choice theory, the formal study of
mechanisms for collective decision making, and highlight the role that
logic has taken, and continues to take, in its development. The first
part of the chapter is devoted to a succinct exposition of the
axiomatic method in social choice theory and covers several of the
classical theorems in the field. In the second part we then outline
three areas of recent research activity: logics for social choice,
social choice in combinatorial domains, and judgment aggregation.