First-Order Modal Logic (Synthese Library, 277) (Volume 0)

Fitting, M.; Mendelsohn, Richard L.

ISBN 10: 0792353358 / ISBN 13: 9780792353355

Published by Springer (edition Softcover reprint of the original 1st ed. 1998), 1999

About this Item

It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of the original 1st ed. 1998.

Seller Inventory # 0792353358-11-1

Bibliographic Details

• Title: First-Order Modal Logic (Synthese Library, 277) (Volume 0)
• Publisher: Springer (edition Softcover reprint of the original 1st ed. 1998)
• Publication Date: 1999
• Language: English
• ISBN 10: 0792353358
• ISBN 13: 9780792353355
• Binding: Paperback
• Condition: Very Good

About this title

Synopsis

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.

Review

"This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended."
(Bulletin of Symbolic Logic, 8:3)