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