News and Events: 22 September 2012, Workshop on Dependence Logic and Strategic Reasoning
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