First-Order Modal Logic
| Author | : M. Fitting |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 300 |
| Release | : 2012-12-06 |
| ISBN-10 | : 9789401152921 |
| ISBN-13 | : 9401152926 |
| Rating | : 4/5 (926 Downloads) |
Book Synopsis First-Order Modal Logic by : M. Fitting
Download or read book First-Order Modal Logic written by M. Fitting and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.