Filtration Method

A model-theoretic construction in modal logic that quotients a (possibly infinite) Kripke model by an equivalence defined from a finite set of formulas so that the resulting finite quotient (the filtration) preserves the truth of every formula in that finite set, enabling finite-model arguments for satisfiability and completeness.