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