First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems
  This paper involves generalizing the Goldblatt-Thomason and the Lindstr\"om characterization theorems to first-order modal logic. 
Reihane Zoghifard, Massoud Pourmahdian
math.LO