机译:二维标准道义逻辑[包括对1985年Jones–P?rn道理逻辑系统的详细分析]
机译:二维标准道义逻辑[包括对1985年Jones-P?rn道理逻辑系统的详细分析]
机译:约翰·霍西(John F. Horthy),代理和权威逻辑。
机译:道义相关逻辑:从道义逻辑中消除悖论的强大关联逻辑方法
机译:谓词逻辑中的道义推理框架。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:准矩阵语言逻辑。规范的逻辑