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~*，等等。