机译:动态宗地逻辑及其悖论
dynamic deontic logic; PDeL; Chisholm’s paradox; contrary to duty obligations;
机译:动态宗地逻辑及其悖论
机译:动态宗地逻辑及其悖论
机译:时态动态宗法逻辑
机译:道义相关逻辑:从道义逻辑中消除悖论的强大关联逻辑方法
机译:超一致性和定理逻辑:带有规范冲突的推理形式系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:一种不同的语法逻辑方法:视网膜逻辑被视为动态逻辑的变种。
机译:使用动态道义逻辑的截止日期的正式规范