2015-09-16: Giovanni Ciná (Amsterdam)

Sat, 21 Oct 2023 21:24:08 +0100

Giovanni Ciná (Amsterdam)

Contextuality, path logic and a modal logic for Social Choice Theory

Abstract

Social Choice functions are procedures used to aggregate the preferences of individuals into a collective decision. We outline two recent abstract approaches to SCFs: a recent sheaf treatment of Arrow's Theorem by Abramsky and a modal logic studied by Ulle Endriss and myself. We show how to relate the categorical modelling of Social Choice problems to said work in Modal Logic. This insight prompts a number of research questions, from the relevance of sheaf-like condition to the modelling of properties of SCFs on varying electorates.

2015-09-16 11:00:00 UTC
LT1310