Graph Games and Logic Design
Recent Developments and Further Directions
Springer
ISBN 978-3-031-91360-0
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Hardcover
2025
55 s/w-Abbildungen, 24 Farbabbildungen.
In englischer Sprache
Umfang: xxx, 430 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-031-91360-0
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Trends in Logic
Produktbeschreibung
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com