Das modallogische K {\displaystyle {}K} -System, in dem das Möglichkeitsaxiom gilt, heißt D {\displaystyle {}D} -System.
