Graph Games and Logic Design

Fenrong Liu, Changjiang Distinguished Professor at Tsinghua University, Amsterdam-China Logic Visiting Chair at the University of Amsterdam, Co-Director of  the Tsinghua - UvA Joint Research Centre for Logic . Her research areas include preference logic, social epistemic logic, game logics, and the history of logic in China. She has published extensively on these topics, notably,  Reasoning about Preference Dynamics  (Springer 2011) and Social Epistemic Logic (Tsinghua University Press 2023). She is currently editing a Handbook of the Logical Thought in China. She is an editor-in-chief of the book series of Studia Logica Library: Logic in Asia, an associate editor of Studia Logica and Studies in Logic, and an editorial board member of Synthese, Theoria, Topoi, History of Humanities, and other international journals.Johan van Benthem, University Professor of Logic, emeritus, University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy, Stanford University, Jin Yuelin Chaired Professor of Logic, Tsinghua-UvA Joint Research Centre for Logic. His research interests include modal logic, logic and natural language, temporal logic, logic and information dynamics, and logic and games. Major publications include Modal Logic for Open Minds (CSLI Publications, 2010), Logical Dynamics of Information and Interaction (Cambridge University Press, 2011), Logic in Games (The MIT Press, 2014) and Logic, Information and Agency (to appear). He is the founding director of the Institute for Logic, Language and Computation in Amsterdam, and a member of the Dutch Royal Academy of Arts and Sciences, the Academia Europaea, the Institut Internationale de Philosophie, and a foreign member of the American Academy of Arts and Sciences.

• Introduction to the main questions and answers in the literature since.- An essay on sabotage and obstruction.- Mechanizing Mathematical Reasoning.- Model checking and satisfiability for sabotage modal logic.- Modal logics of sabotage revisited.- Losing connection: the modal logic of definable link deletion.- Hybrid sabotage modal logic.- Conclusion.