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

Dynamic Epistemic Logic - Synthese Library 2008 edition

Hans Van Ditmarsch

Price
$ 107.49
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 8 - 18

Our customers say:

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

Also available as:

Dynamic Epistemic Logic - Synthese Library 2008 edition

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  
Show all

More by Hans Van Ditmarsch

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