Intelligent Interaction: Dynamic Trends in Todays Logic
Johan van Benthem

Abstract:
This is a light popular introduction to modern logic viewed as a
continuation of the tradition of dialogue and debate in Antiquity, and
leading to a more general study of intelligent interaction, bringing
in ideas from informatics and game theory.