机译:用模态逻辑证明社会选择理论的经典定理
Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands;
Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands;
Social choice theory; Preferences; Arrow's Theorem; Modal logic;
机译:从数学逻辑精神的社会选择理论诞生:箭头定理模型理论框架
机译:古典和非古典逻辑中基于连接的定理证明
机译:通过简化为Kleene逻辑证明具有部分函数的古典逻辑的定理
机译:非经典逻辑中的表示定理和定理证明
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:用模态逻辑证明社会选择理论的经典定理
机译:命题模态逻辑的矩阵定理证明器的实现