Ebooks de Johan van Benthem en PDF et EPUB

1 Livre(s)
Télécharger le livre : Graph Games and Logic Design
Ajouter à ma liste d'envies
Graph Games and Logic Design
Fenrong Liu , Johan Van Benthem
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...

Editeur : Springer
Parution : 2026-04-08

PDF, ePub

116,04 €