Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.