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.

22 September 2012, Workshop on Dependence Logic and Strategic Reasoning

Date: 22 September 2012
Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam

Dependence Logic is an extension of First Order Logic that adds to it atomic formulas for expressing functional dependence relations between terms.

This workshop, held in connection to the PhD defense of Pietro Galliani, will discuss the properties of this logic and of its variants, and, more in general, the role of strategic and game-theoretic reasoning in mathematical logic.

For more information, see http://dependencelogic.org/galliani/workshop.html

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