迭代可容许性的逻辑刻画

Brandenburger、Friedenberg 和 Keisler 使用 LPS（词典序概率序列）表示不确定性，给出了迭代可容许性（即迭代删除弱占优策略）的一个认知刻画。他们的刻画在一个称为完全结构的丰富结构中成立，其中所有类型都是可能的。本文给出了迭代可容许性的一个逻辑刻画，该刻画仅涉及标准概率，并且在所有结构中成立，而不仅仅是在完全结构中。然后定义了一个更强的概念——强可容许性。粗略地说，强可容许性旨在捕捉“智能体所知道的全部”就是其他智能体满足适当的理性假设这一直觉。强可容许性使得将可容许性、典范结构（如模态逻辑完备性证明中通常考虑的结构）、完全结构以及“我所知道的全部”这一概念联系起来成为可能。