Game Abstract Logic