£70.19

Springer Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Price data last checked 15 day(s) ago - will refresh soon

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£70 today · all-time low £70 (May 2026) · usually £71

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

Historical
Generating forecast…
£71.08 £69.69 £70.00 £70.30 £70.60 £70.90 £71.21 26 April 2026 14 May 2026 02 June 2026 21 June 2026 10 July 2026

Price Distribution

Price distribution over 76 days • 2 price levels

Days at Price
Current Price
31 days · current 45 days 0 11 23 34 45 £70 £71 Days at Price

Price Analysis

Most common price: £71 (45 days, 59.2%)

Price range: £70 - £71

Price levels: 2 different prices over 76 days

Description

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting. This book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight into the principles of coalgebraic logic from a categorical point of view, and applies these systems to interpretations of stochastic coalgebraic logics, which include well-known modal logics and continuous time branching logics. The author introduces stochastic systems together with their probabilistic and categorical foundations and gives a comprehensive discussion of the Giry monad as the underlying categorical construction, presenting many new, hitherto unpublished results. He discusses modal logics, introduces their probabilistic interpretations, and then proceeds to an analysis of Kripke models for coalgebraic logics. The book will be of interest to researchers in theoretical computer science, logic and category theory.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
19 November 2009
Listed Since
11 September 2009

Barcode

No barcode data available

Similar Products You Might Like

Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series)
97% match

Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£126.73 09 Jul 2026
Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)
96% match

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

Cambridge University Press

£95.81 18 Jun 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
96% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£52.29 02 Jul 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
96% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.82 07 Jul 2026
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)
96% match

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

£67.95 08 Jul 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
96% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 08 Jul 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
96% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.98 10 Jul 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

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

Springer

£156.31 10 Jul 2026
Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)
95% match

Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)

Springer

£134.00 26 Jun 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
95% match

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

Cambridge University Press

£124.51 02 Jul 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
95% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£104.85 24 Jun 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

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

Springer

£50.10 02 Jul 2026
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138)
95% match

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138)

Cambridge University Press

£94.29 29 Jun 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
95% match

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

Cambridge University Press

£69.39 02 Jul 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
95% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.99 09 Jul 2026
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
95% match

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

Springer

£97.13 04 Jul 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
95% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.71 14 Jul 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
95% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 04 Jul 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
95% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 02 Jul 2026
Proof and System-Reliability: v. 62 (NATO Science Series II)
95% match

Proof and System-Reliability: v. 62 (NATO Science Series II)

Springer

£91.87 10 Jul 2026
Logic and Structure (Universitext)
95% match

Logic and Structure (Universitext)

Springer

£52.79 15 Jul 2026