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