机译:二维标准道义逻辑[包括对1985年Jones–P?rn道理逻辑系统的详细分析]
Individual and Collective Reasoning Group Computer Science and Communications University of Luxembourg Luxembourg UK;
King’s College London UK;
Individual and Collective Reasoning Group Computer Science and Communications University of Luxembourg Luxembourg UK;
Individual and Collective Reasoning Group Computer Science and Communications University of Luxembourg Luxembourg UK;
Deontic Logic; Contrary to Duties; Chisholm paradox; Two dimensional temporal logic;
机译:二维标准道义逻辑[包括对1985年Jones-P?rn道理逻辑系统的详细分析]
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
机译:道义相关逻辑:从道义逻辑中消除悖论的强大关联逻辑方法
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:二维标准道义逻辑[包括1985年Jones-pörn道义逻辑系统的详细分析]