Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation


22 September 2012, Workshop on Dependence Logic and Strategic Reasoning

Title: 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


The websites of the UvA make use of cookies. More information Hide this message X
xx