Dear all,

The next LIRa session will take place on Thursday, November 29th. Our speaker is  Johan van Benthem. Please, find the details below:

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.

Hope to see you there!

The LIRa team