Ableitungsprädikat/Positive Eigenschaften/Modallogische Formulierung/Aufgabe

Formuliere die in Bemerkung aufgeführten Eigenschaften für das Ableitungsprädikat in der Sprache der Modallogik.