Logica che, basandosi su argomentazioni per esclusione, regola le proposizioni che coinvolgono le idee di obbligo, permesso e divieto (dovere, potere, non dovere) (DeM; VLI)