Se pueden derivar diferentes lógicas modales tomando distintos subconjuntos de estos axiomas, y estas lógicas son normalmente llamadas según los axiomas más importantes que se utilicen.