£99.83

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

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

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 £100

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

Historical
Generating forecast...
£99.83 £99.50 £99.57 £99.64 £99.72 £99.79 £99.86 12 March 2026 19 March 2026 27 March 2026 04 April 2026 12 April 2026

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price
32 days 0 8 16 24 32 £100 Days at Price

Price Analysis

Most common price: £100 (32 days, 100.0%)

Price range: £100 - £100

Price levels: 1 different prices over 32 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

£99.53 05 Mar 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
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
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
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
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
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
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
First-Order Modal Logic: 277 (Synthese Library)
96% match

First-Order Modal Logic: 277 (Synthese Library)

Springer

£199.97 02 Mar 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
96% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026