£76.42

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

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

Springer Reactive Kripke Semantics (Cognitive Technologies)

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 61 days · 61 data points (no recent data)

Historical
Generating forecast…
£76.42 £76.41 £76.41 £76.41 £76.42 £76.42 £76.42 26 July 2026 10 August 2026 25 August 2026 09 September 2026 24 September 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 61 days • 1 price levels

Days at Price
61 days 0 15 31 46 61 £76 Days at Price

Price Analysis

Most common price: £76 (61 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 61 days

Description

This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures. Reactive Kripke semantics is the next step in the evolution of possible world semantics for non-classical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities forPhD students.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
23 August 2016
Listed Since
28 July 2016

Barcode

No barcode data available

Similar Products You Might Like

Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
96% match

Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)

Springer

£108.01 21 Aug 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

£74.23 19 Sep 2026
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
95% match

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£42.52 09 Sep 2026
Logic and Language Models for Computer Science: Third Edition
95% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.57 01 Oct 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
95% match

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

Springer

£52.36 11 Sep 2026
Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)
95% match

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

Springer

£114.56 30 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

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

Springer

£151.20 24 Sep 2026
Logic, Language and Computation: 5 (Applied Logic Series, 5)
95% match

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Springer

£75.80 30 Sep 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
95% match

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

Springer

£103.00 23 Sep 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
95% match

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

Springer

£94.11 02 Oct 2026
Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)
95% match

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

Springer

£70.83 25 Sep 2026
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
95% match

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

Springer

£100.11 29 Aug 2026
La lógica polivalente de Jan Lukasiewicz: La crítica de la semántica clásica
95% match

La lógica polivalente de Jan Lukasiewicz: La crítica de la semántica clásica

EAE Editorial Academia Espanola

£47.00 03 Oct 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)
95% match

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Springer

£85.58 29 Aug 2026
Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference: 1st
95% match

Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference: 1st

Morgan Kaufmann

£43.99 22 Sep 2026
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
95% match

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£71.74 17 Sep 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
95% match

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

Springer

£26.56 29 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
95% match

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

Springer

£103.29 20 Aug 2026
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
95% match

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Springer

£60.87 19 Sep 2026
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
95% match

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Springer

£59.98 23 Sep 2026