Institute for Logic, Language and Computation

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

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