Fri Nov 16, 2007
60 Evans Hall, 4:10–6 PM
Eric Pacuit (Stanford University Computer Science)
An Overview of Logic in Game Theory
Game-theoretic methods have proven to be an important tool in logic. In this talk, I will present a different perspective on the interface between logic and game theory: how logic can be used to reason about social interactive situations. This will be a survey talk focusing on:
(1) how logical methods provide interesting new perspectives on traditional game-theoretic questions, and
(2) new questions that arise of interest to both game-theorists and logicians.