Otros sistemas modales se obtienen a través de la adición de axiomas y sus respectivas consecuencias lógicas a través de la adición de restricciones sobre "R".