Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic--the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games--touching on research in logic,...

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of "Logic and Automata" take the occasion of the sixtieth birthday of Wolfgang Thomas to present a "tour d'horizon" of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.

In 2007 at the Dutch Royal Academy of Sciences in Amsterdam, a colloquium on new perspectives on games and interaction brought together researchers on games in logic, computer science, linguistics, and economics in order to clarify their uses of game theory and identify promising new directions for the field. This volume is a collection of papers presented at the colloquium, and it testifies to the growing importance of game theory as a tool that can capture concepts of strategy, interaction, argumentation, communication, and cooperation amid the disciplines.