PP-2019-03: van Benthem, Johan and Liu, Fenrong (2019) Graph Games and Logic Design. [Pre-print] (Submitted)
Preview |
Text
2018.GraphgamesLogics.pdf Download (383kB) | Preview |
Abstract
Graph games are interactive scenarios with a wide range of applications. This position paper discusses old and new graph games in tandem with matching logics, and identifies general questions behind this match. Throughout, we pursue two strands: logic as a way of analyzing existing games, and logic as an inspiration for designing new games. Our aim is modest: we propose a style of thinking that complements existing game-theoretic and computational ones, we raise questions, make observations, and suggest research directions – technical results are left to future work. Our main aim with this survey is to show that graph games are concrete, fun, easy to grasp, and yet challenging to study.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2019-03 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2019 |
| Subjects: | Computation Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 17 Jan 2019 15:23 |
| Last Modified: | 17 Jan 2019 15:23 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1659 |
Actions (login required)
 |
View Item |
