Filtrationsmethode

Eine modelltheoretische Konstruktion in der modalen Logik, die ein (möglicherweise unendliches) Kripke‑Modell durch eine aus einer endlichen Formelmenge definierte Äquivalenz quotien­tiert, so dass das resultierende endliche Quotientenmodell (die Filtration) die Wahrheit jeder Formel in dieser endlichen Menge erhält und so Argumente über endliche Modelle für Erfüllbarkeit und Vollständigkeit ermög