Méthode de Filtration

Construction modèle-théorique en logique modale qui quotientte un modèle de Kripke (éventuellement infini) par une équivalence définie à partir d′un ensemble fini de formules, de sorte que le quotient fini obtenu (la filtration) préserve la vérité de chaque formule de cet ensemble fini, permettant des arguments de modèle fini pour la satisfaisabilité et la complétude.