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]
@incollection{BraunerG07, title = {First-order modal logic}, author = {Torben Braüner and Silvio Ghilardi}, year = {2007}, doi = {10.1016/s1570-2464(07)80012-7}, url = {https://doi.org/10.1016/s1570-2464(07)80012-7}, researchr = {https://researchr.org/publication/BraunerG07}, cites = {0}, citedby = {0}, pages = {549-620}, booktitle = {Handbook of Modal Logic}, editor = {Patrick Blackburn and J. F. A. K. van Benthem and Frank Wolter}, volume = {3}, series = {Studies in logic and practical reasoning}, publisher = {North-Holland}, isbn = {978-0-444-51690-9}, }