Skip to main content
PBS logo
 
 

Search - Dynamic Epistemic Logic (Synthese Library)

Dynamic Epistemic Logic (Synthese Library)
Dynamic Epistemic Logic - Synthese Library
Author: Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles e...  more »
ISBN-13: 9781402069086
ISBN-10: 1402069081
Publication Date: 11/15/2007
Pages: 296
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.