£105.95

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

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

View at Amazon

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

Same price for 6 weeks. Today is much like next week.

£106 for 43 days straight · last change was Jan 2026

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

Historical
Generating forecast...
£105.97 £95.16 £97.52 £99.88 £102.23 £104.59 £106.95 09 June 2024 15 November 2024 23 April 2025 29 September 2025 07 March 2026

Price Distribution

Price distribution over 637 days • 9 price levels

Days at Price
Current Price
36 days 4 days 362 days 21 days 42 days 15 days 14 days 93 days 50 days · current 0 91 181 272 362 £96 £98 £99 £100 £101 £102 £103 £104 £106 Days at Price

Price Analysis

Most common price: £99 (362 days, 56.8%)

Price range: £96 - £106

Price levels: 9 different prices over 637 days

Description

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support.

Product Specifications

Format
Hardcover
Domain
Amazon UK
Release Date
31 August 1998
Listed Since
06 February 2007

Barcode

No barcode data available

Similar Products You Might Like

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

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

CRC Press

£85.00 08 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
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

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

Springer

£157.85 10 Mar 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

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

Springer

£104.96 13 Jan 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
97% match

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Springer

£104.80 04 Feb 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
97% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026
60 Years of Connexive Logic: 65 (Trends in Logic, 65)
97% match

60 Years of Connexive Logic: 65 (Trends in Logic, 65)

£96.61 07 Jan 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
97% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
97% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£43.24 24 Feb 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
97% match

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

£84.63 10 Jan 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
97% 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
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
97% match

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

Springer

£99.83 12 Apr 2026
Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
97% match

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

Springer

£99.53 05 Mar 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
97% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£83.99 19 Apr 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
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
96% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
96% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland

£163.49 23 Jan 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
96% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Oxford University Press - Fragments of First-Order Logic
96% match

Oxford University Press - Fragments of First-Order Logic

Oxford University Press

£128.82 19 Apr 2026
Propositional Logics Third Edition
96% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026