Filtration via Bisimulation
Valentin Borisovich Shehtman · Advances in Modal Logic · 2004
We develop a new version of the well-known filtration method in modal logic, allowing us to construct large countermodels and to solve some open problems on the finite model property for products of modal logics. This filtration is based on the bisimilarity relation between parts of the original model; it generalizes earlier versions of the filtration method introduced by E. Lemmon, K. Segerberg, D. Gabbay, and the author.