Institute for Logic, Language and Computation

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

Speaker: Jouko Väänänen
Title: Dependence Logic
Date: Thursday 24 May 2007
Time: 16:00
Location: Room P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam


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 or contact Ulle Endriss ().

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X