Logic Games: From Tools to Models of Interaction

Abstract

This paper is based on tutorials on “Logic and Games” at the 7th Asian Logic Conference in Hsi-Tou, Taiwan, 1999, and until 2002 in Siena, Stuttgart, Trento, Udine, and Utrecht. We present logic games as a topic per se, giving models for dynamic interaction between agents. First, we survey some basic logic games. Then we show how their common prop- erties raise general issues of game structure and “game logics”. Next, we review logic games in the light of general game logic. Finally, we discuss more “realistic” influences from game theory into logic games, including players’ preferences, and imperfect information.