Logica deontica e sue applicazioni