Event Detail

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.