We a good story
Quick delivery in the UK

Books by Hans van Ditmarsch

Filter
Filter
Sort bySort Popular
  • by Hans van Ditmarsch & Barteld Kooi
    £17.49

  • by Hans van Ditmarsch, Barteld Kooi & Wiebe Van Der Hoek
    £93.99

    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.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.