机译:时态和语气形式的结合:论具有历史必然性和条件义务的时间逻辑的Rt方法
机译:时态和语意形式的结合:论具有历史必要性和条件义务的时态逻辑的R_t方法
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
机译:广义Chisholm集与义务的时间道义逻辑。
机译:条件句:与副词,情态和时态的交互
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:有条件义务和语义困境的自适应逻辑框架
机译:条件事件代数和条件概率逻辑。基本配方和有条件事件的产品空间方法