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.
  到日前已有若干道義邏輯形式系統(tǒng)，例如樸素道義邏輯系統(tǒng)OK、OS5~*，真值道義邏輯系統(tǒng)MK、MS5~*，等等。
• the alethic criteria
  真值標準
• alethic logic
  真勢模態(tài)邏輯
• Aleth
  阿勒特
返回 alethic