Kriterien für die Herleitbarkeit in Modalitätenstrukturen. Günther Emde — 1957 Archiv für mathematische Logik und Grundlagenforschung