£100.11

New to our records — first sighting 23 days ago. We'll learn its rhythm.

23 days of data · current price £100

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

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
Not enough data points to display chart (need at least 2 points)
View at Amazon ↗

Price data last checked 23 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 1 days • 1 price levels

Days at Price
1 day 0 0 1 1 1 £100 Days at Price

Price Analysis

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

Price range: £100 - £100

Price levels: 1 different prices over 1 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.11 21 Sep 2026
Displaying Modal Logic: 3 (Trends in Logic, 3)
97% match

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

Springer

£105.95 23 Sep 2026
Cambridge University Press - Modal Logic for Philosophers
97% match

Cambridge University Press - Modal Logic for Philosophers

Cambridge University Press

£98.80 16 Aug 2026
ADVANCES IN MODAL LOGIC, VOLUME 3
96% match

ADVANCES IN MODAL LOGIC, VOLUME 3

World Scientific Publishing Company

£62.28 07 Sep 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

£82.46 13 Oct 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

£158.24 11 Sep 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.56 22 Sep 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.35 05 Oct 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£151.20 24 Sep 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 05 Sep 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 23 Sep 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.56 18 Sep 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

£99.94 30 Sep 2026
Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)
96% match

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

Springer

£75.68 06 Oct 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.82 30 Sep 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

£113.59 03 Oct 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£103.29 20 Aug 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

£76.42 04 Oct 2026
First Steps in Modal Logic
96% match

First Steps in Modal Logic

Cambridge University Press

£96.00 07 Oct 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

£127.17 19 Sep 2026
Springer R-Calculus, IV: Propositional Logic Book
96% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£100.00 10 Sep 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)

Elsevier

£190.00 16 Aug 2026
Protoalgebraic Logics: Trends in Logic Vol. 10 - Springer
96% match

Protoalgebraic Logics: Trends in Logic Vol. 10 - Springer

Springer

£117.08 09 Oct 2026
Logic for Applications (Texts in Computer Science)
96% match

Logic for Applications (Texts in Computer Science)

Springer

£104.00 15 Aug 2026