Logic and the Simulation of Interaction and Reasoning: Introductory Remarks
Benedikt Löwe

Abstract:
This introductory note provides the background for the symposium
"Logic and the Simulation of Interaction and Reasoning", its
motivations and the 15 papers presented at the symposium.