Speaker: Johan van Benthem
Date and Time: Thursday, November 29th 2018, 17:00-18:30
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: Graph Games and Logic Design.
Abstract. Graph games are widely used recreationally and for computational purposes. We analyze some main varieties of graph games and show how they suggest design of matching modal logics with interesting properties. Some recent results, many obtained by colleagues and students in China and Stanford, will be presented to show the interest of this particular concrete way of connecting logic and games. But there will also be open problems.
(Joint work with Fenrong Liu)
References
J. van Benthem, 2014, Logic in Games, The MIT Press.
J. van Benthem & F. Liu, 2018, Graph Games and Logic Design, Tsinghua University Journal.