La lógica deóntica (LD) estudia las relaciones entre los operadores deónticos como obligación, permiso y prohibición. Se originó en 1951 cuando Von Wright propuso tratar estos conceptos de forma similar a los operadores modales. La LD puede aplicarse a discursos normativos como la ética y el derecho. Algunos usos relevantes de la LD en sistemas computacionales incluyen especificar el comportamiento deseado de usuarios y sistemas, y desarrollar políticas organizacionales y legales.