Archives

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

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 ().


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