Una manera estándar de caracterizar a la noción de consecuencia lógica es a través de la teoría de modelos.