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