Viewing games from Re-Logic