£74.91

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

£75 today · all-time low £74 (Sep 2026) · usually £75

Springer Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

View at Amazon

Price History & Forecast

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

Last 73 days · 73 data points (no recent data)

Historical
Generating forecast…
£75.81 £73.43 £73.95 £74.47 £74.99 £75.51 £76.03 11 August 2026 29 August 2026 16 September 2026 04 October 2026 22 October 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 73 days • 3 price levels

Days at Price
Current Price
17 days 27 days · current 29 days 0 7 15 22 29 £74 £75 £76 Days at Price

Price Analysis

Most common price: £76 (29 days, 39.7%)

Price range: £74 - £76

Price levels: 3 different prices over 73 days

Description

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
02 January 2013
Listed Since
06 December 2012

Barcode

No barcode data available

Similar Products You Might Like

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
82% match

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Springer

£76.42 25 Oct 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
81% match

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

Springer

£110.54 24 Oct 2026
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
81% match

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Springer

£109.62 21 Oct 2026
Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)
80% match

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

Springer

£162.27 22 Oct 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
79% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£164.01 27 Oct 2026
Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)
79% match

Proof Methods for Modal and Intuitionistic Logics: 169 (Synthese Library, 169)

Springer

£148.28 24 Oct 2026
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)
79% match

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

Springer

£114.71 27 Oct 2026
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
79% match

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

Springer

£44.99 26 Oct 2026
Logics for Computer Science: Classical and Non-Classical
79% match

Logics for Computer Science: Classical and Non-Classical

Springer

£81.34 26 Oct 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
78% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.19 27 Oct 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
78% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.22 26 Oct 2026
Structural Proof Theory
78% match

Structural Proof Theory

Cambridge University Press

£94.00 26 Oct 2026
Protoalgebraic Logics: 10 (Trends in Logic, 10)
78% match

Protoalgebraic Logics: 10 (Trends in Logic, 10)

Springer

£112.57 24 Oct 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
78% match

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

Springer

£108.01 22 Oct 2026
Topics in Philosophical Logic: 17 (Synthese Library, 17)
78% match

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

Springer

£129.12 27 Oct 2026
Handbook of Philosophical Logic: Volume 17
78% match

Handbook of Philosophical Logic: Volume 17

Springer

£75.37 23 Oct 2026
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
78% match

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)

Springer

£146.43 17 Oct 2026
Cambridge Logical Foundations of Proof Complexity Book
78% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£96.31 09 Nov 2026
Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
78% match

Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)

Springer

£86.66 21 Oct 2026
Hybrid Intelligent Systems
78% match

Hybrid Intelligent Systems

Springer

£110.36 23 Oct 2026
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
78% match

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

Springer

£76.42 27 Oct 2026
Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
77% match

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

Birkhauser

£76.42 23 Oct 2026
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
77% match

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Springer

£39.84 20 Oct 2026
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
77% match

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Springer

£93.29 27 Oct 2026