Fr. 158.00

Graph Games and Logic Design - Recent Developments and Further Directions

English, German · Hardback

Will be released 14.11.2025

Description

Read more

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.

List of contents

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.

About the author

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.

Summary

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.

Product details

Assisted by Liu (Editor), Fenrong Liu (Editor), Johan van Benthem (Editor)
Publisher Springer, Berlin
 
Languages English, German
Product format Hardback
Release 14.11.2025
 
EAN 9783031913600
ISBN 978-3-0-3191360-0
No. of pages 430
Illustrations XXX, 430 p. 79 illus., 24 illus. in color.
Series Trends in Logic
Subjects Humanities, art, music > Philosophy > General, dictionaries

Logic, Epistemology, Philosophie: Epistemologie und Erkenntnistheorie, formal logic, Dynamic logic and graph games, Modal logics and graph games, Epistemic logic and graph games, Sabotage game, Winning strategy in graph games, Graph games, Hide and seek game

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.