First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems

Abstract

This paper involves generalizing the Goldblatt-Thomason and the Lindstr\"om characterization theorems to first-order modal logic.