Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - Books - Springer-Verlag New York Inc. - 9781402058387 - June 8, 2007
In case cover and title do not match, the title is correct

Hans Van Ditmarsch
Dynamic Epistemic Logic - Synthese Library 2008 edition

Price
$ 105.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 23 - 29
Get notified about new Hans Van Ditmarsch releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Also available as:

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

296 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 8, 2007
ISBN13 9781402058387
Publishers Springer-Verlag New York Inc.
Pages 296
Dimensions 155 × 235 × 19 mm   ·   612 g
Language English  

More from the same publisher

See all of Hans Van Ditmarsch ( e.g. Paperback Book and Hardcover Book )