@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}
}