Institute for Logic, Language and Computation

News and Events: 22 September 2012, Workshop on Dependence Logic and Strategic Reasoning

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

Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam
Newsitem added on 9 September 2012.

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