Utrecht University Utrecht Netherlands;
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
机译:一种模态耦合程序,可基于实验生成的数据来改善残余模态效应
机译:在外道模型下脱位:实验数据
机译:宗派分离。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:模态“权力”的道义取向意味着不同结构的许可:应该是道义证据