Logical activities such as argumentation and discourse can be seen as games between players trying to achieve their purposes through the use of optimal strategies. Analyzing such 'logic games', we find attractive basic connections between logic and game theory, including calculi of game equivalences, game-forming operations, and strategies. With this same machinery, one can also analyze general game structure, and we will sketch how to deal with information flow in imperfect information games, and equilibrium in the presence of preferences.

This talk is a light top-level introduction to a larger current research program, which sits at the currently very lively interface between Logic and Game Theory, which shows in conferences like LOFT, TARK and others. Some useful references can be found in the following:

(1) J. van Benthem, 2000, 'Logic and Games', Report X-2000-03, beta preprint server, Institute for Logic, Language and Computation, University of Amsterdam. A new electronic version will be available by March.