Describir: Deontische Logik ohne Paradoxien, Semantik und Logik des Normativen