PP-2019-03: Graph Games and Logic Design

PP-2019-03: van Benthem, Johan and Liu, Fenrong (2019) Graph Games and Logic Design. [Pre-print] (Submitted)

[thumbnail of 2018.GraphgamesLogics.pdf]

Download (383kB) | Preview


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
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 View Item