Towards a Logic of Social Welfare
Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge · 2006
We present a formal logic of social welfare functions. The logical language is syntactically simple, but expressive enough to express interesting and complicated properties of social welfare functions involving, e.g., quantification over both preference relations and over individual alternatives, such as Arrow’s thorem.