L O ] 3 0 A pr 2 01 9 Completeness for Game Logic