Recordemos que varios de los sistemas modales se obtienen simplemente añadiendo axiomas a la lista de axiomas del sistema K.