Proving classical theorems of social choice theory in modal logic - 科研通

发布文献求助

已完结

文献求助详情

标题	Proving classical theorems of social choice theory in modal logic
网址	https://doi.org/10.1007/s10458-016-9328-6
DOI	10.1007/s10458-016-9328-6 doi
其它	期刊：Autonomous Agents and Multi-Agent Systems 作者：Giovanni Ciná; Ulle Endriss 出版日期：2016
求助人	富贵在 2026-06-26 19:33:17 发布自北京，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

有了科研通，下载文献真轻松！

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 彭于晏上传了应助文件

刚刚; 科研通AI6.3上传了应助文件

刚刚; 宇文鹏煊完成签到，获得积分10

刚刚; 会举重的树发布了新的文献求助10

刚刚; 清脆的初蝶发布了新的文献求助10

1秒前; 星辰大海上传了应助文件

2秒前; GWF发布了新的文献求助10

3秒前; 桃不掉了发布了新的文献求助10

3秒前; 大坏猫路西法发布了新的文献求助10

3秒前; 细腻的书琴完成签到，获得积分10

4秒前; Clam完成签到，获得积分10

4秒前; 无聊人yu发布了新的文献求助20

5秒前; 科研通AI6.3上传了应助文件

5秒前; CipherSage的应助被jmtftn采纳，获得30

5秒前; 科研通AI6.2的应助被peppa采纳，获得10

5秒前; vivien11发布了新的文献求助10

5秒前; 善良绝悟完成签到，获得积分20

6秒前; 一安发布了新的文献求助10

6秒前; Clam发布了新的文献求助10

7秒前; 意义完成签到，获得积分10

7秒前; 梅子黄时雨关闭了梅子黄时雨的文献求助

8秒前; 辛夷发布了新的文献求助10

8秒前; 科研通AI6.4上传了应助文件

8秒前; 小叶子发布了新的文献求助10

10秒前; Akim上传了应助文件

10秒前; 打打上传了应助文件

10秒前; 科研通AI6.2的应助被复杂采纳，获得10

10秒前; 可爱的函函上传了应助文件

11秒前; 科研通AI6.4的应助被张一亦可采纳，获得10

11秒前; 动听初夏完成签到，获得积分10

12秒前; 科研通AI6.3的应助被pny采纳，获得10

13秒前; 科研通AI6.4的应助被pny采纳，获得10

13秒前; 科研通AI6.3的应助被pny采纳，获得10

13秒前; 科研通AI6.4的应助被pny采纳，获得10

13秒前; 科研通AI6.4的应助被pny采纳，获得10

13秒前; 科研通AI6.3的应助被pny采纳，获得10

13秒前; 科研通AI6.4的应助被pny采纳，获得10

13秒前; 科研通AI6.2的应助被pny采纳，获得10

13秒前; 浅浅依云完成签到，获得积分10

13秒前; 科研通AI6.4的应助被pny采纳，获得10

13秒前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; 模型平均及其应用 900; Nondestructive Testing Handbook: Vol. 4, Thermal and Infrared Testing (IR), 4th ed 800; 作者名：Kristopher P. Plain，悉尼大学的，目前只能查到其四篇论文，想找到其博士论文 590; Évora na Idade Média 555; Matrix Methods in Data Mining and Pattern Recognition Second Edition 510; Structural Analysis 500

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 7352806; 求助须知：如何正确求助？哪些是违规求助？ 8963941; 关于积分的说明 19043837; 捐赠科研通 7001698; 什么是DOI，文献DOI怎么找？ 3221634; 关于科研通互助平台的介绍 2386065; 邀请新用户注册赠送积分活动 2202106

今日热心研友

大力的冬萱

行走的荷尔蒙

学术文献互助

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通