First-order modal logic

Torben Bra√ľner, Silvio Ghilardi. First-order modal logic. In Patrick Blackburn, J. F. A. K. van Benthem, Frank Wolter, editors, Handbook of Modal Logic. Volume 3 of Studies in logic and practical reasoning, pages 549-620, North-Holland, 2007. [doi]

Abstract

Abstract is missing.