£64.66

Springer Dynamic Epistemic Logic: 337 Synthese Library Book

Name: Springer Dynamic Epistemic Logic: 337 Synthese Library Book
Brand: Springer
Price: 64.66 GBP
Availability: InStock

AI & Machine Learning

It has never been this cheap. We have no record of a lower price.

£65 today · cheaper than every other day in the last 3 months

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

Historical

Generating forecast…

Price Distribution

Price distribution over 82 days • 1 price levels

Days at Price

Price Analysis

Most common price: £65 (82 days, 100.0%)

Price range: £65 - £65

Price levels: 1 different prices over 82 days

Description

Explore the logic of knowledge change with Dynamic Epistemic Logic from the Springer Synthese Library. This text focuses on a wide family of logics designed to specify both static and dynamic aspects of multi-agent systems. Rather than covering a single system, this book offers various logics to support formal specifications, accompanied by detailed proof systems. Designed for clarity and engagement, the material uses concrete examples and epistemic puzzles to explain complex concepts. This book is an excellent resource for graduate-level logic courses, providing a structured approach to understanding how knowledge evolves within multi-agent environments. With a comprehensive chapter-wise outline and built-in exercises, it serves as a practical tool for students and researchers in computer science, AI, and machine learning.

Key Features

Covers a wide family of logics to help specify static and dynamic aspects of multi-agent systems.

Provides various formal logics and proof systems to support complex specifications.

Includes concrete examples and epistemic puzzles to help clarify the exposition.

Contains practical exercises with answers to support learning and self-testing.

Ideal for graduate courses in logic and advanced studies in computer science.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 1402058381
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 08 June 2007
Listed Since: 08 January 2007

Barcode

No barcode data available

Springer Dynamic Epistemic Logic: 337 Synthese Library Book

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

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

Introduction to Mathematical Logic: Extended Edition

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German ... Epistemology, and the Unity of Science, 39)

Logic with Trees: An Introduction to Symbolic Logic

Logic with Trees: An Introduction to Symbolic Logic

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Propositional Logics Third Edition

Logical Foundations of Artificial Intelligence

Logic, Action and Cognition: Essays in Philosophical Logic: 2 (Trends in Logic, 2)

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

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Mathematical Logic

Oxford University Press - Changes of Mind: Rational Belief Revision

Mathematical Logic: An Introduction (De Gruyter Textbook)

Routledge Logic Works - Introduction to Formal Logic Book

Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)

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

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

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