En lógica modal hay distintos sistemas modales que caracterizan distintas relaciones de consecuencia lógica.