Standard system of Deontic Logic的意思|示意
美 / /
英 / /
Standard system of Deontic Logic的网络常见释义
道义逻辑标准系统 SDLC是SDL（道义逻辑标准系统，Standard system of Deontic Logic）的扩张。它是由下列公理和推导规则 所组成： 从以上的语义中我们可以看出，莫托的□符号强调了条 件和行...