First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation. Grandi, U. & Endriss, U. Journal of Philosophical Logic, 42(4):595–618, 2013.
First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation [pdf]Paper  doi  bibtex   

Downloads: 0