TY  - RPRT
TI  - Completeness for Game Logic
AU  - Sebastian Enqvist
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
AU  - Johannes Marti
AU  - Yde Venema
PY  - 2019
UR  - https://arxiv.org/abs/1904.07691
ID  - 1904.07691
ER  -