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.是什么意思_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.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句