Items related to First-Order Modal Logic: 480 (Synthese Library, 480)
- PublisherSpringer
- Publication date2023
- ISBN 10 303140713X
- ISBN 13 9783031407130
- BindingHardcover
- LanguageEnglish
- Edition number2
- Number of pages480
Search results for First-Order Modal Logic: 480 (Synthese Library, 480)
Stock Image
First-Order Modal Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46669456
Quantity: Over 20 available
Stock Image
First-Order Modal Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46669456-n
Quantity: Over 20 available
Stock Image
First-Order Modal Logic (Synthese Library, 480)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031407130
Quantity: Over 20 available
Stock Image
First-Order Modal Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 46669456
Quantity: Over 20 available
Stock Image
First-Order Modal Logic (Synthese Library, 480)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031407130_new
Quantity: Over 20 available
Seller Image
First-Order Modal Logic
Published by
Springer International Publishing Nov 2023, 2023
ISBN 10: 303140713X
ISBN 13: 9783031407130
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 480 pp. Englisch. Seller Inventory # 9783031407130
Quantity: 2 available
Stock Image
First-Order Modal Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 46669456-n
Quantity: Over 20 available
Seller Image
First-Order Modal Logic
Published by
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 303140713X
ISBN 13: 9783031407130
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, predi. Seller Inventory # 927315621
Quantity: Over 20 available
Seller Image
First-Order Modal Logic
Published by
Springer International Publishing, 2023
ISBN 10: 303140713X
ISBN 13: 9783031407130
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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). Seller Inventory # 9783031407130
Quantity: 1 available
Stock Image
First-Order Modal Logic (Hardcover)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 303140713X
ISBN 13: 9783031407130
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783031407130
Quantity: 1 available