Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Please note that this newsitem has been archived, and may contain outdated information or links.