@misc{indiciaea033701bc700, title = {Completeness for Game Logic}, author = {Sebastian Enqvist and Helle Hvid Hansen and Clemens Kupke and Johannes Marti and Yde Venema}, year = {2019}, url = {https://arxiv.org/abs/1904.07691}, note = {Source identifier: 1904.07691} }