£66.77

Springer First-Order Modal Logic: 480 (Synthese Library, 480)

Price data last checked 29 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£67 today · all-time low £67 (Aug 2026) · usually £67

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 62 days · 11 data points (no recent data)

Historical
Generating forecast…
£70.02 £66.17 £67.01 £67.85 £68.69 £69.53 £70.37 10 June 2026 25 June 2026 10 July 2026 25 July 2026 10 August 2026

Price Distribution

Price distribution over 62 days • 2 price levels

Days at Price
Current Price
10 days · current 1 day 0 3 5 8 10 £67 £70 Days at Price

Price Analysis

Most common price: £67 (10 days, 90.9%)

Price range: £67 - £70

Price levels: 2 different prices over 11 days

Description

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)

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
19 October 2023
Listed Since
05 July 2023

Barcode

No barcode data available

Similar Products You Might Like

Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)
96% match

Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)

Springer

£166.65 20 Aug 2026
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
96% match

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

Elsevier

£138.68 06 Jul 2026
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
96% match

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Springer

£81.55 07 Jul 2026
Oxford University Press - Fragments of First-Order Logic
96% match

Oxford University Press - Fragments of First-Order Logic

Oxford University Press

£135.00 16 Jul 2026
FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS
96% match

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Oxford University Press

£57.98 19 Aug 2026
Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)
96% match

Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)

Springer

£143.98 20 Aug 2026
Springer - A Short Introduction to Intuitionistic Logic Book
96% match

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

£109.19 16 Jul 2026
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV: 28
96% match

Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV: 28

Springer

£108.00 17 Jul 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
96% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£124.51 02 Jul 2026
Logic and Structure (Universitext)
95% match

Logic and Structure (Universitext)

Springer

£52.79 15 Jul 2026
Logic for Applications (Texts in Computer Science)
95% match

Logic for Applications (Texts in Computer Science)

Springer

£104.00 15 Aug 2026
60 Years of Connexive Logic: 65 (Trends in Logic, 65)
95% match

60 Years of Connexive Logic: 65 (Trends in Logic, 65)

Springer

£92.22 13 Aug 2026
A Formalization of Set Theory without Variables (Colloquium Publications)
95% match

A Formalization of Set Theory without Variables (Colloquium Publications)

£70.45 13 Aug 2026
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
95% match

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Springer

£65.61 05 Aug 2026
Logical Foundations of Artificial Intelligence
95% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 02 Jul 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
95% match

Displaying Modal Logic: 3 (Trends in Logic, 3)

Springer

£105.95 08 Jul 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
95% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 02 Jul 2026
First-Order Modal Logic: 277 (Synthese Library)
95% match

First-Order Modal Logic: 277 (Synthese Library)

Springer

£199.97 06 Jul 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
95% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£91.07 01 Jul 2026
Modal Logic for Philosophers
95% match

Modal Logic for Philosophers

Cambridge University Press

£98.80 16 Aug 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£156.31 10 Jul 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
95% match

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Springer

£92.20 06 Jul 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
95% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£90.27 16 Jul 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
95% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£69.39 02 Jul 2026