£74.21

Springer Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties: 2

Price data last checked 21 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.

£74 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 70 days · 70 data points (no recent data)

Historical
Generating forecast…
£74.27 £74.20 £74.22 £74.23 £74.25 £74.26 £74.28 08 July 2026 25 July 2026 11 August 2026 28 August 2026 15 September 2026

Price Distribution

Price distribution over 70 days • 1 price levels

Days at Price
70 days 0 18 35 53 70 £74 Days at Price

Price Analysis

Most common price: £74 (70 days, 100.0%)

Price range: £74 - £74

Price levels: 1 different prices over 70 days

Description

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
14 November 2018
Listed Since
12 March 2018

Barcode

No barcode data available

Similar Products You Might Like

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
86% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£108.01 06 Aug 2026
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
85% match

Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)

Springer

£75.08 29 Jul 2026
Coherent Systems (Volume 2) (Studies in Logic and Practical Reasoning, Volume 2)
85% match

Coherent Systems (Volume 2) (Studies in Logic and Practical Reasoning, Volume 2)

Elsevier

£74.83 09 Sep 2026
Logics for Computer Science: Classical and Non-Classical
85% match

Logics for Computer Science: Classical and Non-Classical

Springer

£83.06 08 Aug 2026
Probabilistic Extensions of Various Logical Systems
84% match

Probabilistic Extensions of Various Logical Systems

Springer

£76.42 30 Aug 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
83% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer

£92.22 07 Aug 2026
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
83% match

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Springer

£76.42 08 Aug 2026
Logic Functions and Equations: Binary Models for Computer Science
82% match

Logic Functions and Equations: Binary Models for Computer Science

Springer

£139.99 09 Sep 2026
Handbook of Philosophical Logic: Volume 17
82% match

Handbook of Philosophical Logic: Volume 17

Springer

£75.49 10 Sep 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
82% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£129.28 01 Aug 2026
A Mathematical Introduction to Logic
82% match

A Mathematical Introduction to Logic

Elsevier

£72.00 13 Aug 2026
Handbook of Philosophical Logic: Volume 17
82% match

Handbook of Philosophical Logic: Volume 17

Springer

£75.43 06 Aug 2026
A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)
82% match

A Logical Theory of Nonmonotonic Inference and Belief Change (Artificial Intelligence)

Springer

£108.01 08 Aug 2026
Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics: 17 (Trends in Logic, 17)
82% match

Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics: 17 (Trends in Logic, 17)

Springer

£75.96 08 Aug 2026
Mathematical Problems from Applied Logic II: Logics for the XXIst Century: 5 (International Mathematical Series, 5)
81% match

Mathematical Problems from Applied Logic II: Logics for the XXIst Century: 5 (International Mathematical Series, 5)

Springer

£76.42 08 Aug 2026
Formal Concept Analysis: Mathematical Foundations
81% match

Formal Concept Analysis: Mathematical Foundations

Springer

£37.00 12 Sep 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
81% match

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Springer

£73.85 05 Sep 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
81% match

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Springer

£74.61 08 Aug 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
81% match

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Springer

£108.01 05 Aug 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
81% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£50.25 07 Aug 2026
An Introduction to Default Logic (Symbolic Computation)
81% match

An Introduction to Default Logic (Symbolic Computation)

Springer

£74.01 12 Sep 2026
New Developments in Formal Languages and Applications: 113 (Studies in Computational Intelligence, 113)
81% match

New Developments in Formal Languages and Applications: 113 (Studies in Computational Intelligence, 113)

Springer

£82.51 31 Jul 2026
A Textbook of Belief Dynamics: Theory Change and Database Updating: 11/1 (Applied Logic Series, 11/1)
81% match

A Textbook of Belief Dynamics: Theory Change and Database Updating: 11/1 (Applied Logic Series, 11/1)

Springer

£108.01 08 Aug 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
81% match

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Springer

£121.70 08 Aug 2026