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