Correspondance de Sahlqvist

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