La regla de inferencia más propia de la lógica modal se llama N (o regla de "Necesitación"), y dice que si una fórmula formula_9 es un teorema, entonces "es necesario que formula_9" también es un teorema.