First Order Modal Logic

This text offers a treatment of first-order modal logic. It covers quantification itself, including: the difference between actualist and possibilist quantifier... » 

This text offers a treatment of first-order modal logic. It covers quantification itself, including: the difference between actualist and possibilist quantifiers; equality; and the notion of existence and the logical problems surrounding it, borrowing from both Fregean and Russellian paradigms. «