First-Order Modal Logic (Synthese Library)