A type of logic that deals with obligations, permissions, and prohibitions. It is used to reason about ethical and moral dilemmas.
A type of logic that deals with obligations, permissions, and prohibitions. It is used to reason about ethical and moral dilemmas.