作者：黄繁; 文学锋最后通牒博弈模态逻辑愤怒行为模式公理系统逻辑构建攻击性完全性
摘要：愤怒的博弈者是具有攻击性的，为了减少对手的效用，他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同，我们的逻辑中因应愤怒更新的是博弈者的可选行为，即在更新之后的模型中，愤怒的博弈者只能选择使对手获益最少的策略。我们为这套逻辑构建了一个公理系统，证明了其可靠性以及弱完全性，并将其应用在最后通牒博弈中。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
