Die Ableitbarkeit eines modallogischen Ausdrucks α {\displaystyle {}\alpha } im K {\displaystyle {}K} -System.