First-order Modal Logic
Pablo Rivas-Robledo, Magnus Kjærgaard, Ludovico Ageno

Abstract:
This report is an introduction to First-Order Modal Logic. This is supplementary material for Chapter 3 of L. T. F. Gamut's 'Logic, language, and meaning. Volume II. Intensional logic and logical grammar' but can be read as a stand-alone text provided one is familiar with first-order logic and relational semantics for modal logic.