Graph Games and Logic Design

Name: Graph Games and Logic Design
Brand: Springer, Berlin
SKU: 9783031913600
Price: 45861 HUF
Availability: InStock

Recent Developments and Further Directions

Szerző: Johan van Benthem, Fenrong Liu

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

45 861 Ft

This book presents established and new research on the close connections between graph games and sys...

Információk a könyvről

Szerző

Johan van Benthem, Fenrong Liu

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2025

oldal

290

EAN

9783031913600

Enbook ID

48313545

Kiadó

Springer, Berlin

Súly

865

Méretek

155 x 235

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Graph Games and Logic Design

Recent Developments and Further Directions

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták