Llògica deóntica

La llògica deòntica és un tipo de llògica modal utilisada per analisar formalment les normes o les proposicions que tracten sobre les normes.