As a first in the series Texts in Logic and Games, the volume Interactive Logic is a wonderful demonstration of contemporary topics
in logic: agents with their limited information and abilities acting
in a dynamic world, who while interacting, constantly have to change
their mind (dynamic epistemic logics), be ready to decide (game theory
and rationality) and act (dynamic logic), thereby hopefully achieving
some desirable group behaviour (logics for social software).
Wiebe van der Hoek
University of Liverpool
|Interactive Logic deals with logical approaches to
communication, interaction, and strategic information and
knowledge. This volume shows the breadth of this field and
its applications from computing to games and economics.
Professor Bernhard von Stengel, London School of Economics