Das modallogische K {\displaystyle {}K} -System, in dem das Reflexivitätsaxiom gilt, heißt T {\displaystyle {}T} -System.
