First-Order Modal Logic

The book provides an in-depth exploration of first-order modal logic, addressing complex topics such as quantification, equality, and the famous Fregean puzzle of the morning star/evening star. It delves into concepts like existence, non-rigid constants, and predicate abstraction, while also distinguishing between nonexistence and nondesignation. Drawing from both Fregean and Russellian perspectives, it offers a comprehensive analysis of definite descriptions, making it a valuable resource for those studying modal logic.