%0 Journal Article %1 journals/aamas/CinaE16 %A Ciná, Giovanni %A Endriss, Ulle %D 2016 %J Auton. Agents Multi Agent Syst. %K dblp %N 5 %P 963-989 %T Proving classical theorems of social choice theory in modal logic. %U http://dblp.uni-trier.de/db/journals/aamas/aamas30.html#CinaE16 %V 30

@article{journals/aamas/CinaE16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ciná, Giovanni and Endriss, Ulle}, biburl = {https://www.bibsonomy.org/bibtex/276773da15e0071a517bc7a162f18e9f5/dblp}, ee = {https://www.wikidata.org/entity/Q59461194}, interhash = {3ca9c1f895b27b0eb20bbc2d5d8606f6}, intrahash = {76773da15e0071a517bc7a162f18e9f5}, journal = {Auton. Agents Multi Agent Syst.}, keywords = {dblp}, number = 5, pages = {963-989}, timestamp = {2024-04-08T12:42:32.000+0200}, title = {Proving classical theorems of social choice theory in modal logic.}, url = {http://dblp.uni-trier.de/db/journals/aamas/aamas30.html#CinaE16}, volume = 30, year = 2016 }