K-Modallogik/T-System/Folgerungen/Fakt

Im modallogischen -System gelten die folgenden Aussagen.

Es ist

Insbesondere ist

und damit ist ein -System auch ein -System.