En primer lugar, la interpretación clásica de la consecuencia lógica eliminaba las nociones modales en favor de una visión formalista.