title:	Some Uses of Games in Logic
author(s):	Rohit Parikh
affiliation:
time and place:	Wednesday, 14.00 - 17.00, room A In the thematic session on Games in Logic and Language
abstract:	We will survey some uses of games to understand propositional and first order logics. The topics will include Ehrenfeucht-Fraisse games, D-structures, and Ehrenfeucht's *-semantics as well as IF-logic and the more recent FI-logics (where FI stands for `finite information'.) D-structures generalize the games used in conventional first order logic and can be used to explain classical as well as *-semantics. Most of this work is old, done jointly with Mayberry, de Jongh and Goodman. But it suddenly has contemporary relevance. FI-logics similarly are a variant of the IF-logics studied by Hintikka and Sandu as well as Hodges, Janssen and Vaananen, but seem to correspond to procedures occuring in ordinary life and possess both the finite model property and decidability.