论双主体博弈逻辑

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.