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

£100.10

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

Name: Gentzen Calculi for Modal Propositional Logic: 32 (Trends in Logic, 32)
Brand: Springer
Price: 100.1 GBP
Availability: InStock

Computer Science

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

Historical

Generating forecast…

Price Distribution

Price distribution over 73 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £99 (66 days, 90.4%)

Price range: £99 - £100

Price levels: 2 different prices over 73 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

Brand: Springer
Format: hardcover
ASIN: 9048196698
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 02 December 2010
Listed Since: 12 June 2010

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

Advances In Modal Logic, Volume 3

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

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

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

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

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

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

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

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

Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153

Springer R-Calculus, IV: Propositional Logic Book

First-Order Modal Logic: 277 (Synthese Library)

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

Propositional Logics Third Edition

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

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

Recent Trends in Philosophical Logic: 41 (Trends in Logic, 41)

Logical Foundations of Artificial Intelligence