@article{CinaEndrissJAAMAS2016, author = {Giovanni Cin\'a and Ulle Endriss}, title = {Proving Classical Theorems of Social Choice Theory in Modal Logic}, journal = {Journal of Autonomous Agents and Multiagent Systems}, volume = {30}, number = {5}, pages = {963--989}, year = {2016}, doi = {10.1007/s10458-016-9328-6} }