6 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
Johan van Benthem, Balder ten Cate, Xi Yang
We study which classic modal definability and preservation results survive when attention is restricted to finite structures, where many first-order transfer theorems are known to…