@inproceedings{CinaEndrissAAMAS2015,
  author =        {Giovanni Cin\'a and Ulle Endriss},
  title =         {A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions},
  booktitle =     {Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)},
  month =         {May},
  year =          {2015}
}