$147.99
Taxes may apply at checkout.
Graph Games and Logic Design
Recent Developments and Further Directions
Introduction
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.
Graph Games and Logic Design
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.
Research Directions
The collected works in this volume therefore straddle both established research directions of designing logics for analyzing games and designing games for analyzing logics.
Contents
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.
Editorial and Future Outlook
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.
Audience
This book is of interest to a broad audience working with theoretical and practical applications of graph games and modal logics.
