24 May 2007, Computational Social Choice Seminar, Jouko Väänänen

Abstract

I will show how to enhance the expressive power of a logic, such as first order logic or modal logic, by an atomic formula denoting dependence. This enables one to express propositions concerning dependence of acts on other acts, choices on other choices, etc. As an example I show how to write Arrow's Theorem using the dependence atoms.

For more information, see http://www.illc.uva.nl/~ulle/seminar/ or contact Ulle Endriss (ulle at illc.uva.nl).