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 checked 1 day ago
Price History & Forecast
Last 90 days • 90 data points
Price Distribution
Price distribution over 90 days • 6 price levels
Price Analysis
Most common price: £65 (55 days, 61.1%)
Price range: £51 - £65
Price levels: 6 different prices over 90 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
Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)
Springer
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision: 420 (Synthese Library, 420)
Springer
Topics in Subset Space Logic: An Introduction to the Geometry of Dynamic Epistemology
VDM Verlag
Dynamic Formal Epistemology: 351 (Synthese Library, 351)
Springer
Johan van Benthem on Logic and Information Dynamics: 5 (Outstanding Contributions to Logic, 5)
Springer
Springer Reasoning in Event-Based Distributed Systems 347
Springer
Springer Reasoning in Event-Based Distributed Systems 347
Springer
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Handbook of Philosophical Logic: Volume 8
Springer
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
North Holland
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Johan van Benthem on Logic and Information Dynamics: 5 (Outstanding Contributions to Logic, 5)
Springer
The Dynamics of Thought: 300 (Synthese Library, 300)
Springer
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Problem of Plurality of Logics, The: Understanding the Dynamic Nature of Philosophical Logic
Bloomsbury Academic
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
Springer
Handbook of Philosophical Logic: Volume 18
Springer
Belief Change: 3 (Handbook of Defeasible Reasoning and Uncertainty Management Systems, 3)
Springer
Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)
Morgan & Claypool
Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen: 454 (Synthese Library)
Springer
A Textbook of Belief Dynamics: Theory Change and Database Updating: 11/1 (Applied Logic Series, 11/1)
Springer
Logical Dynamics of Information and Interaction
Cambridge University Press
Donald Davidson on Action, Mind and Value (Logic in Asia: Studia Logica Library)
Springer
Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)
Morgan & Claypool