Proving Classical Theorems of Social Choice Theory in Modal Logic
Autonomous Agents and Multi-Agent Systems - Netherlands
doi 10.1007/s10458-016-9328-6
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 20, 2016
Authors
Publisher
Springer Science and Business Media LLC