Further developments

Chinese translation of this book

Translators: Cui Jianying (Sun Yat-sen University) and Li Jidong (Nankai University).

Project of the Joint Research Center for Logic, Tsinghua University.

Follow-up papers

J. van Benthem, 2014, 'Modeling Reasoning in a Social Setting', Studia Logica 102:2, 235–265.

J. van Benthem, 2015, 'Feeling the Rhythms of a Field', Preface to special issue on Logic and Games,

Studies in Logic 8:4, 1–6.

G. Aucher, J. van Benthem & D. Grossi, 2016, 'Modal Logics of Sabotage Revisited', Proceedings

LORI V Taipei 2015, extended version to appear in Journal of Applied Non-Classical Logics.

J. van Benthem, N. Bezhanishvili and S. Enqvist, 2016, 'Games in Instantial Neighborhood Logic',

ILLC, University of Amsterdam.

Relevant books

J. van Benthem, S. Ghosh & R. Verbrugge, eds., 2016, Models of Strategic Reasoning, Logics,

Games and Communities, FoLLI series, Lecture Notes in CS 8972 , Springer.

A. Brandenburger, 2014, The Language of Game Theory: Putting Epistemics into the Mathematics

of Games, World Scientific Publishers, Singapore.

P. Urzyczyn & M-H Sørensen, 2006, Lectures on the Curry-Howard Isomorphism,

Elsevier Science, New York, Studies in Logic and the Foundations of Mathematics 149.

Lectures

'Logic in Games', lecture at ASL North-American Annual Meeting, University of Colorado, Boulder.

'Logic in Play', Joint Opening Lecture DLMPS Conference andASL Logic Colloquium, Helsinki 2015.

'Logic, Computation and Agency', Strachey Lecture, Department of Computing, Oxford University, 2015.

'Open Problems in Logic and Games', Logic Seminar, Stanford University, 2016.

Teaching

2015, Logic and Agency, Tsinghua University, A. Baltag, J. van Eijck, M. Gattinger & J. van Benthem.

2016, Social Networks and Games, ILLC Master of Logic project, J. van Benthem & F. Liu.

2016, Logic and Agency, NASSLLI Summer School, Rutgers University, J. van Benthem.