愤怒博弈者的更新逻辑（英文）

愤怒的博弈者是具有攻击性的,为了减少对手的效用,他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同,我们的逻辑中因应愤怒更新的是博弈者的可选行为,即在更新之后的模型中,愤怒的博弈者只能选择使对手获益最少的策略。我们为这套逻辑构建了一个公理系统,证明了其可靠性以及弱完全性,并将其应用在最后通牒博弈中。