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