£70.02

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

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£70 today · cheaper than every other day in the last 3 months

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 64 days • 64 data points (No recent data available)

Historical
Generating forecast...
£83.46 £68.68 £71.90 £75.13 £78.35 £81.58 £84.80 08 April 2026 23 April 2026 09 May 2026 25 May 2026 10 June 2026

Price Distribution

Price distribution over 64 days • 6 price levels

Days at Price
Current Price
11 days · current 11 days 16 days 13 days 12 days 1 day 0 4 8 12 16 £70 £72 £74 £78 £80 £83 Days at Price

Price Analysis

Most common price: £74 (16 days, 25.0%)

Price range: £70 - £83

Price levels: 6 different prices over 64 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

£164.60 16 Jun 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

£80.97 06 Mar 2026
Oxford University Press - Fragments of First-Order Logic
96% match

Oxford University Press - Fragments of First-Order Logic

Oxford University Press

£128.82 19 Apr 2026
FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS
96% match

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Oxford University Press

£60.43 16 Jun 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

£146.06 16 Jun 2026
Springer - A Short Introduction to Intuitionistic Logic Book
96% match

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

£105.83 20 Apr 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

£105.83 21 Apr 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

£48.08 14 Apr 2026
Logic for Applications (Texts in Computer Science)
95% match

Logic for Applications (Texts in Computer Science)

Springer

£74.84 13 Jun 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.17 12 Jun 2026
A Formalization of Set Theory without Variables (Colloquium Publications)
95% match

A Formalization of Set Theory without Variables (Colloquium Publications)

£69.99 12 Jun 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.56 23 May 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 07 Mar 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 13 Jun 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

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

Springer

£157.85 10 Mar 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

£83.99 19 Apr 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