The following table lists several common normal modal systems. The notation refers to the table at
Kripke semantics § Common modal axiom schemata. Frame conditions for some of the systems were simplified: the logics are
sound and complete with respect to the frame classes given in the table, but they may
correspond to a larger class of frames. ==References==