Giovanni Ciná, Ulle Endriss. A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1009-1017, ACM, 2015. [doi]
@inproceedings{CinaE15,
title = {A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions},
author = {Giovanni Ciná and Ulle Endriss},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773280},
researchr = {https://researchr.org/publication/CinaE15},
cites = {0},
citedby = {0},
pages = {1009-1017},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015},
editor = {Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind},
publisher = {ACM},
isbn = {978-1-4503-3413-6},
}