Graph Games and Logic Design : Recent Developments and Further Directions (Trends in Logic)

van Benthem, Johan (EDT)/ Liu, Fenrong (EDT)

Springer International Publishing AG（2026/01発売）

• 製本 Hardcover:ハードカバー版／ページ数 430 p.
• 言語 ENG
• 商品コード 9783031913600
• DDC分類 160

Full Description

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.