Proving classical theorems of social choice theory in modal logic

机译：用模态逻辑证明社会选择理论的经典定理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Giovanni Ciná; Ulle Endriss;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Proving classical theorems of social choice theory in modal logic [J] . Cina Giovanni, Endriss Ulle Autonomous agents and multi-agent systems . 2016,第5期

机译：用模态逻辑证明社会选择理论的经典定理
2. The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow’s Theorem in the Framework of Model Theory [J] . Daniel Eckert, Frederik S. Herzberg Studia Logica . 2018,第5期

机译：从数学逻辑精神的社会选择理论诞生：箭头定理模型理论框架
3. Connection-Based Theorem Proving in Classical and Non-Classical Logics [J] . Christoph Kreitz, Jens Otten Journal of Universal Computer Science . 1999,第3期

机译：古典和非古典逻辑中基于连接的定理证明
4. Representation theorems and theorem proving in non-classical logics [C] . Sofronie-Stokkermans, V. . 1999

机译：非经典逻辑中的表示定理和定理证明
5. A modal logic for role-based access control within the HOL theorem prover. [D] . Kosiyatrakul, Thumrongsak. 2010

机译：HOL定理证明器中基于角色的访问控制的模态逻辑。
6. Some Theorems in Finite Field Theory with Applications to Fermats Last Theorem [O] . H. S. Vandiver 1944

机译：有限场理论中的一些定理及其在费马最后定理中的应用
7. Proving Classical Theorems of Social Choice Theory in Modal Logic [O] . Ciná, G., Endriss, U. 2016

机译：用模态逻辑证明社会选择理论的经典定理
8. Implementation of a Matrix Theorem Prover for Propositional Modal Logic [R] . Bisacchicoelho, O. 1990

机译：命题模态逻辑的矩阵定理证明器的实现

Proving classical theorems of social choice theory in modal logic

著录项

引文网络

相似文献

相关主题

期刊订阅