https://www.illc.uva.nl/NewsandEvents/Archives/2011/newsitem/3959/Expressing-Properties-of-Social-Choice-Functions-Using-Modal-Logic
10 June 2011, Computational Social Choice Seminar, Erik Parmann | Institute for Logic, Language and...
For more information, see here or https://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle.endriss at uva.nl).