We a good story
Quick delivery in the UK
About Dynamic Epistemic Logic

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9781402069086
  • Binding:
  • Paperback
  • Pages:
  • 296
  • Published:
  • November 15, 2007
  • Edition:
  • 2008
  • Dimensions:
  • 235x241x20 mm.
  • Weight:
  • 472 g.
Delivery: 1-2 weeks
Expected delivery: October 17, 2024

Description of Dynamic Epistemic Logic

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.

User ratings of Dynamic Epistemic Logic



Find similar books
The book Dynamic Epistemic Logic can be found in the following categories:

Join thousands of book lovers

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