摘要

策略博弈均衡解的标准逻辑分析通常是有关逻辑认知模型中参与人理性的相互知识的分析。本文试图用动态的方法来刻画策略博弈逐步到达稳定的过程,假设双方都是理性的,且除非双方已经到达稳定状态,在其他任何状态,参与人在知道对方采取行动的前提下,都有动机改变自己的策略,同时理性会驱使他们采取能增加自己收益的策略。本文在策略博弈环境中引入了有关参与人策略知识推理的逻辑,该逻辑的语言是通过增加策略算子扩张认知逻辑语言而得,然后给出其模型,进而分析在该模型中成立的某些有关策略博弈的逻辑性质。