The Dennes Room

Event Detail

Fri Nov 16, 2007
60 Evans Hall, 4:10–6 PM
Logic Colloquium
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.