Graph Games and Logic Design
Recent Developments and Further Directions
Series: Trends in Logic; 66;
- Publisher's listprice EUR 128.39
-
53 249 Ft (50 714 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 6 390 Ft off)
- Discounted price 46 860 Ft (44 628 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
53 249 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 5 December 2025
- Number of Volumes 1 pieces, Book
- ISBN 9783031913600
- Binding Hardback
- No. of pages430 pages
- Size 235x155 mm
- Language English
- Illustrations XXX, 430 p. 79 illus., 24 illus. in color. Illustrations, black & white 700
Categories
Long 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.
" MoreTable 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.
More
