First-Order Modal Logic Book Details:
Author : M. Fitting
Publisher : Springer Science & Business Media
Release : 2012-12-06
ISBN-13 : 9401152926
Page : 292 pages
Rating : 4.5/5 from 926 voters
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.