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