alethic

常见例句

• Now there are many deontic logic formal systems, e.g. naive deontic logic systems OK. , OS5*,alethic deontic logic systems, e.g. MK, MS5*, etc.
  到日前已有若干道义逻辑形式系统，例如朴素道义逻辑系统OK、OS5~*，真值道义逻辑系统MK、MS5~*，等等。
• the alethic criteria
  真值标准
• alethic logic
  真势模态逻辑
• Aleth
  阿勒特
返回 alethic