We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£64.66
Springer Dynamic Epistemic Logic: 337 Synthese Library Book
Price data last checked 47 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£65 today · previous high £65 · all-time low £63
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 44 days • 44 data points (No recent data available)
Price Distribution
Price distribution over 44 days • 2 price levels
Price Analysis
Most common price: £65 (39 days, 88.6%)
Price range: £63 - £65
Price levels: 2 different prices over 44 days
Description
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
- Domain
- Amazon UK
- Release Date
- 08 June 2007
- Listed Since
- 08 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Introduction to Mathematical Logic: Extended Edition
World Scientific Publishing Company
The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)
Springer
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)
Springer
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)
Springer
Propositional Logics Third Edition
Advanced Reasoning Forum
Logical Foundations of Artificial Intelligence
Morgan Kaufmann
Logic, Action and Cognition: Essays in Philosophical Logic: 2 (Trends in Logic, 2)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)
Cambridge University Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Mathematical Logic
Wiley
Oxford University Press - Changes of Mind: Rational Belief Revision
Oxford University Press
Mathematical Logic: An Introduction (De Gruyter Textbook)
Routledge Logic Works - Introduction to Formal Logic Book
Routledge
Philosophical Analysis: A Defense by Example: 39 (Philosophical Studies Series, 39)
Springer
Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference: 1st
Morgan Kaufmann
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Cambridge University Press
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer