Correspondencia de Sahlqvist

Método sintáctico en lógica modal que identifica una amplia clase de fórmulas modales (fórmulas de Sahlqvist) que gozan de correspondientes de marco en lógica de primer orden y de canonicidad completa: cada fórmula de Sahlqvist corresponde efectivamente a una condición de marco de primer orden y genera un axioma canónico cuya adición asegura completitud para la clase de marcos correspondiente.