Zoghifardand Pourmahdian. First-order Modal Logic: Frame Definability and Lindström Theorems. 29 May 2016.