“…Early work using logical methods in social choice theory includes Murakami's [28] application of results about three-valued logic to the analysis of voting rules, Rubinstein's [34] proof of the equivalence between multi-profile and single-profile approaches to social choice, and Parikh's [31] development of a logic of games to study social procedures. There is now a rich literature developing logical systems that can formalize results in social choice theory (see, e.g., [32,1,29,37,40,16,21,12,30,23]).…”