First-Order Modal Logic - Synthese Library Softcover reprint of the original 1st ed. 1998 edition

Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.