社会福利函数的模态逻辑（英文）

发布时间：2022-01-20 18:55

　　社会选择理论的重点是将个人偏好汇总为群体偏好的框架。我们在本文中提出了一种用于偏好聚合的模态逻辑。该逻辑是对社会福利函数的直接且易于理解的形式化。一个标准的n-ary模态框用于表征线性方案集上的n-ary函数。我们证明了社会福利功能的所有可能性质都可以用这种简单的模态语言来表达。我们为逻辑提供了一个完整的演绎系统,提供了Arrow的社会福利函数不可能定理的句法证明。 

【文章来源】：逻辑学研究. 2019,12(06)CSSCI

【文章页数】：21 页


本文编号：3599344