£99.53

Springer Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Price data last checked 96 day(s) ago - refreshing...

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 2 years ago.

£100 today · all-time low £97 (Jun 2024) · usually the usual

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

Historical
Generating forecast...
£109.99 £95.44 £98.61 £101.79 £104.96 £108.14 £111.31 09 June 2024 14 November 2024 22 April 2025 27 September 2025 05 March 2026

Price Distribution

Price distribution over 635 days • 7 price levels

Days at Price
Current Price
58 days 47 days 418 days · current 12 days 8 days 55 days 37 days 0 105 209 314 418 £97 £98 £99 £101 £104 £105 £110 Days at Price

Price Analysis

Most common price: £99 (418 days, 65.8%)

Price range: £97 - £110

Price levels: 7 different prices over 635 days

Description

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
02 December 2010
Listed Since
12 June 2010

Barcode

No barcode data available

Similar Products You Might Like

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
99% match

Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)

Springer

£99.83 12 Apr 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
97% match

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

Springer

£99.53 05 Mar 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
97% match

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

Springer

£105.95 07 Mar 2026
Modal Logic for Philosophers
97% match

Modal Logic for Philosophers

Cambridge University Press

£89.79 12 Jan 2026
Advances In Modal Logic, Volume 3
96% match

Advances In Modal Logic, Volume 3

World Scientific Publishing Company

£50.00 14 Feb 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

£118.40 23 Feb 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
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£157.85 10 Mar 2026
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)

Springer

£122.77 12 Feb 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
96% match

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

Springer

£75.87 28 Feb 2026
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
96% match

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

CRC Press

£85.00 08 Mar 2026
A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)
96% match

A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)

Springer

£106.06 10 Apr 2026
Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)
96% match

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

Springer

£98.43 10 Apr 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£104.96 13 Jan 2026
Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
96% match

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

Springer

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

£141.99 02 Mar 2026
Springer R-Calculus, IV: Propositional Logic Book
96% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£104.13 20 Feb 2026
Logic and the Modalities in the Twentieth Century (Volume 7) (Handbook of the History of Logic, Volume 7)
96% match

Logic and the Modalities in the Twentieth Century (Volume 7) (Handbook of the History of Logic, Volume 7)

North Holland

£181.99 12 Jan 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
First-Order Modal Logic: 277 (Synthese Library)
96% match

First-Order Modal Logic: 277 (Synthese Library)

Springer

£199.97 02 Mar 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£94.11 17 Apr 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% match

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

£85.45 08 Jan 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
96% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
Propositional Logics Third Edition
95% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026