Construction de Modèle Canonique

Une méthode en logiques modales et apparentées qui construit un modèle canonique dont les mondes sont des ensembles maximaux cohérents (ou théories saturées) de formules et dont les relations d'accessibilité sont définies par des conditions syntaxiques ; utilisée pour établir des théorèmes de complétude en démontrant un lemme de vérité reliant les formules à l'appartenance dans les mondes.