Speaker:  Johan van Benthem  (University of Amsterdam)

Chair:  Dazhu LI (CASIP)

Time:  Friday, 5th May, 2023, 14:00-17:00

Place: Institute of Philosophy, Chinese Academy of Sciences ( 4th Floor, Building(S)4, South Fourth Street No.4, ZhongGuanCun, HaiDian District, Beijing 100190, P.R. China）

Organizer: Institute of Philosophy, Chinese Academy of Sciences (CASIP) 

                   University of Chinese Academy of Sciences, School of Humanities


Abstract 

Games played on graphs model a wide variety of scenarios, from computation to learning, social interaction and even recreational board games. The theory of graph games has tight connections with logical systems for reasoning about the behavior and strategic powers of agents playing them. I will explain how this works and what issues arise. The first example are travel games, that fit well with modal logics. The next case are sabotage games that fit with more unusual ‘sabotage modal logics’ that have lots of intriguing features. The third and final example are hide & seek games like Cops and Robbers whose logic, too, has some unexpected features. All three games are easy to play concretely, but we will also pick up quite general logic themes on the way. I end with a broad perspective on the many connections between logic and games.


References:
J. van Benthem, “Logic in Games”, The MIT Press, 2014.
J. van Benthem & F. Liu, ‘Graph Games and Logic Design’, in F. Liu, H. Ono & J. Yu, eds., “Knowledge, Proof and Dynamics”, Springer, Dordrecht, 125–146, 2020.
D. Li, “Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction”, Dissertation, ILLC Amsterdam, 2021.



Biography

    


Johan van Benthem is the founding director of Institute for Logic, Language & Computation ILLC, Amsterdam. He is currently the Henry Waldgrave Stuart Professor at Stanford University (philosophy and CSLI, Logical Dynamics Lab),  Jin Yuelin Professor at Tsinghua University Beijing (philosophy), co-director at UvA-Tsinghua Joint Research Center in logic.

http://staff.fnwi.uva.nl/j.vanbenthem 

Powered by Froala Editor