3 citations · 5 across the 14 of their papers we have counts for
1 paper · 2 filters
Simon Santschi, Niels C. Vooijs
We generalize Fine's Iterative Selection Method to the weakly transitive setting. In particular, this provides a transparent frame-theoretic proof of the finite model property for…