1.  16
    First-Order Modal Logic.Melvin Chris Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.
    Direct download (2 more)  
    Export citation  
    Bookmark   67 citations  
  2.  24
    Intuitionistic Logic, Model Theory and Forcing.Melvin Chris Fitting - 1969 - Amsterdam: North-Holland Pub. Co..