  The following diagram shows the relationships between the best known modal logics, namely logics that can be formed by adding a selection of the axioms \((D), (M)\), (4), \((B)\) and (5) to \(\bK\). A list of these (and other) axioms along with their corresponding frame conditions can be found below the diagram.