具有任意策略集的策略博弈中的共同信念与公共宣告

我们基于可能性对应提供了对任意策略博弈的认知分析。我们首先建立了一个通用结果，将通过“单调”属性定义的参与者理性之真实共同信念（以及相应的共同知识）与不满足这些属性的策略的迭代消除联系起来。这使我们能够将关于理性的真实共同信念和严格劣势策略的迭代消除的常规结果推导为简单的推论。这种方法依赖于 Tarski 不动点定理。我们还提供了该通用结果的公理化表述。这使我们能够阐明参与者推理所假设的证明论原则。最后，我们基于公共宣告的概念提供了策略迭代消除的另一种刻画。它适用于“全局属性”。这两类属性都包含了可理性化性和严格劣势策略的迭代消除的概念。