Logic is breaking out of the confines of the single-agent static paradigm that has been implicit in all formal systems until recent times. We sketch some recent developments that take logic as an account of information-driven interaction. These two features, the dynamic and the social, throw fresh light on many issues within logic and its connections with other areas, such as epistemology and game theory.
['Cédric Dégremont', 'Jonathan A. Zvesper']
Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth