Book Description Condition: New. New! This book is in the same immaculate condition as when it was published 1.81. Seller Inventory # 353-303140713X-new

More information about this seller | Contact seller

Buy New

US$ 137.32

Convert currency

Add to Basket

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Stock Image

First-Order Modal Logic

Fitting, Melvin; Mendelsohn, Richard L.

Published by Springer (2023)

ISBN 10: 303140713X ISBN 13: 9783031407130

New Hardcover Quantity: 5

Seller:

GreatBookPrices
(Columbia, MD, U.S.A.)

Rating

Seller Rating:

Book Description Condition: New. Seller Inventory # 46669456-n

More information about this seller | Contact seller

Buy New

US$ 134.71

Convert currency

Add to Basket

Shipping: US$ 2.64

Within U.S.A.

Destination, rates & speeds

Stock Image

First-Order Modal Logic

Fitting, Melvin; Mendelsohn, Richard L.

Published by Springer (2023)

ISBN 10: 303140713X ISBN 13: 9783031407130

New Hardcover Quantity: 2

Seller:

Majestic Books
(Hounslow, United Kingdom)

Rating

Seller Rating:

Book Description Condition: New. pp. 480. Seller Inventory # 397855147

More information about this seller | Contact seller

Buy New

US$ 129.12

Convert currency

Add to Basket

Shipping: US$ 8.23

From United Kingdom to U.S.A.

Destination, rates & speeds

Stock Image

First-Order Modal Logic (Hardcover)

Melvin Fitting

Published by Springer International Publishing AG, Cham (2023)

ISBN 10: 303140713X ISBN 13: 9783031407130

New Hardcover Quantity: 1

Seller:

Grand Eagle Retail
(Wilmington, DE, U.S.A.)

Rating

Seller Rating:

Book Description Hardcover. Condition: new. Hardcover. This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants andfunction symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.Review of the First Edition: "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) This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031407130

More information about this seller | Contact seller

Buy New

US$ 158.49

Convert currency

Add to Basket

Shipping: FREE

Within U.S.A.

Destination, rates & speeds

Stock Image