When do modal definability and preservation theorems transfer to the finite?

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…