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