PP-2015-24: Giovanni Ciná, Ulle Endriss A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions 1.Full Text, 2.Abstract. < Back
