Graph Games and Logic Design
Description
This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games - the sabotage game and the hide-and-seek game - to demonstrate the natural interplay between designing new graph games and exploring new kinds of logics that fit with these games. The collected works in this volume therefore straddle both established research directions of designing logics for analyzing games and designing games for analyzing logics.
This book contains a general introduction to the project of matching up graph games and logic design, and a collection of selected and commissioned contributions that illustrate novel concepts, questions, and logical techniques in the field. The contributions are introduced and contextualized in an editorial preface and conclusion. Future outlooks towards further research on graph games, new graph games, major new technical challenges, and potential practical applications to, for example, board games and a design tool for experiments in cognitive psychology conclude the volume. This book is of interest to a broad audience working with theoretical and practical applications of graph games and modal logics.
More details
Other editions
Additional editions
Persons
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.
Content
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.
