Completeness for Game Logic.

Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Browse the full LICS paper archive.