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

£76.32

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

Name: Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
Brand: Springer
Price: 76.32 GBP
Availability: InStock

Computer Science

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

£76 today · previous high £76 · all-time low £73

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

Historical

Generating forecast…

Price Distribution

Price distribution over 70 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (65 days, 92.9%)

Price range: £73 - £76

Price levels: 2 different prices over 70 days

Description

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 9400700016
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 30 November 2010
Listed Since: 11 August 2010

Barcode

No barcode data available

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

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

Hugo Men's Brody Tapered Fit Jeans in Blue Stretch Denim, Medium Blue, 35W x 30L

HUGO Men's Brody Jeans Trousers, Navy, 35 W/30 L

HUGO Dunkelblaue Tapered-fit Jeans Aus Stretch-Denim

HUGO Mens Brody Dark-Blue Tapered-fit Jeans in Stretch Denim

Hugo Men's Brody Jeans Trousers, Bright Blue, 35 W/30 L

HUGO Mens Brody Dark-Blue Tapered-fit Jeans in Stretch Denim

HUGO Mens Brody Blue Tapered-fit Jeans in Stretch Denim

Hugo Men's Brody Tapered Fit Jeans in Blue Stretch Denim, Dark Blue, 35W x 34L

Hugo Men's Brody Jeans Trousers, Medium Blue, 35 W/30 L

HUGO Mens Brody Dark-Blue Tapered-fit Jeans in Stretch Denim

HUGO Mens Brody Dark-Blue Tapered-fit Jeans in Stretch Denim

HUGO Mens Brody Blue Tapered-fit Jeans in Stretch Denim

HUGO Mens Brody Blue Tapered-fit Jeans in Stretch Denim

Hugo Men's Brody Tapered Fit Jeans in Blue Denim with Mud Wash, Navy, 32 W/32 L

Hugo Men's Jeans Trousers, Navy 417, 36W x 30L

HUGO Men's Brody Jeans, Dark Grey, 35W/ 32L

Hugo Men's Jeans Trousers, Navy 417, 38W x 32L

Hugo Men's Brody Jeans Trousers, Black, 35W x 34L

HUGO Tapered-fit Jeans in Blue-Black Stretch Denim

HUGO Mens Brody Dark-Blue Tapered-fit Jeans in Stretch Denim

Hugo Men's Brody Tapered Fit Jeans in Blue Stretch Denim, Navy, 30W x 30L

Hugo Men's Brody Jeans Trousers, Black, 38W x 32L

Hugo Men's Brody Jeans Trousers, Bright Blue, 30 W/30 L

Hugo Men's Jeans Trousers, Navy 417, 32W x 30L