A Research on Two-agent Game Logic

At present,two agent game logic is the focus of game logic research in the world.Researching into two agent game logic combining dynamic logic has become a dominant trend.Now,international circles has made preliminary analysis of form system of two agent zero game logic and explored complexity of model inspection of two agent zero game logic,while the research into two agent non-zero game logic.