About this title: 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 ...
read more
Note: This is a general synopsis. Each listing is described below.
Binding: Hardcover
Publisher: Springer
Date Published: 2007
ISBN-13:9781402058387ISBN:1402058381
Description: New. BRAND NEW and ready for dispatch. Delivery normally within 4/7 days. Our reputation is built on our Speedy Delivery Service and our Customer Service Team. read more
Binding: Hardback
Publisher: SPRINGER VERLAG GMBH
Date Published: 2007
ISBN-13:9781402058387ISBN:1402058381
Description: New. 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 suppo... read more
Description: Good. 1402058381 A used but readable copy with markings and general wear. Hardcover. Used items may not include extras such as infotrac, CD or other web access codes. read more
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 8-12 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the ... read more
Description: Like New. SHIPS FROM GERMANY. NO EXPEDITED SHIPPING! Allow 10-14 business days for delivery. Please always check the language in the product description section. Few left in stock-order soon. Selling online since 1995. Code: L20091122205143I. read more
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail or DHL. International Priority mail for non-UK deliveries. Print on demand title. Delivery is typically 7-10 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems ... read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.