##  [Correspondance de Sahlqvist](/fr/node/60997) 

  ##  [Correspondance de Sahlqvist](https://mathlogic.quantumdictionary.io/fr/node/60998) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Méthode syntaxique en logique modale identifiant une vaste classe de formules modales (formules de Sahlqvist) qui bénéficient de correspondants de cadre du premier ordre garantis et de la canonicité complète : chaque formule de Sahlqvist correspond effectivement à une condition de cadre du premier ordre et engendre un axiome canonique dont l′ajout assure la complétude pour la classe de cadres corr