Método de Filtración

Construcción modelo‑teórica en lógica modal que cuocienta un modelo de Kripke (posiblemente infinito) por una equivalencia definida a partir de un conjunto finito de fórmulas de modo que el cociente finito resultante (la filtración) preserva la verdad de cada fórmula en ese conjunto finito, permitiendo argumentos de modelo finito para satisfacibilidad y completitud.