机译:约翰·霍西(John F. Horthy),代理和权威逻辑。
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
机译:道义相关逻辑:从道义逻辑中消除悖论的强大关联逻辑方法
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:一种不同的语法逻辑方法:视网膜逻辑被视为动态逻辑的变种。
机译:认知逻辑中的分级模态。