£100.10

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

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

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£100 today · previous high £100 · all-time low £99

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

Historical
Generating forecast…
£100.10 £98.79 £99.08 £99.36 £99.65 £99.93 £100.22 26 April 2026 15 May 2026 04 June 2026 24 June 2026 14 July 2026

Price Distribution

Price distribution over 80 days • 2 price levels

Days at Price
Current Price
61 days 19 days · current 0 15 31 46 61 £99 £100 Days at Price

Price Analysis

Most common price: £99 (61 days, 76.3%)

Price range: £99 - £100

Price levels: 2 different prices over 80 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
paperback
Domain
Amazon UK
Publication Date
27 January 2013
Listed Since
04 January 2013

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

£100.10 07 Jul 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
97% match

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

Springer

£105.95 08 Jul 2026
Modal Logic for Philosophers
97% match

Modal Logic for Philosophers

Cambridge University Press

£98.80 13 Jun 2026
Advances In Modal Logic, Volume 3
96% match

Advances In Modal Logic, Volume 3

World Scientific Publishing Company

£77.59 29 Jun 2026
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
96% match

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

Cambridge University Press

£78.03 06 May 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
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
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)

Chapman and Hall/CRC

£59.34 17 Jul 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£156.31 10 Jul 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

£132.03 28 Jun 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 09 Jul 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

£76.32 04 Jul 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

£92.65 13 Jul 2026
Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)
96% match

Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)

Springer

£75.68 18 Jul 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.62 13 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
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

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

£74.25 17 Jul 2026
First Steps in Modal Logic
96% match

First Steps in Modal Logic

Cambridge University Press

£87.15 20 Jul 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
Springer R-Calculus, IV: Propositional Logic Book
96% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£104.13 02 Jul 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

£154.67 13 Jun 2026
Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)
96% match

Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)

Springer

£117.08 22 Jul 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£74.84 13 Jun 2026