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

£75.87

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.55 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 35 days • 35 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (26 days, 74.3%)

Price range: £76 - £76

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

Proof Theory for Fuzzy Logics: 36 (Applied Logic Series, 36)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Natural Deduction, Hybrid Systems and Modal Logics: 30 (Trends in Logic, 30)

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

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Logic for Applications (Texts in Computer Science)

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

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

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

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

Automated Model Building: 31 (Applied Logic Series, 31)

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

Temporal Logic - World Scientific Publishing Company Book

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

Labelled Deduction: 17 (Applied Logic Series, 17)

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Introduction to Mathematical Logic: Extended Edition

Logical Models of Legal Argumentation

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Mathematical Logic for Computer Science