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. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice. Read More

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 exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice. Read Less

• All from $29.70
• New Books from $69.60
• Used Books from $38.91
• eBook from $29.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $29.70 (Expires Jan 03, 2025) 60 Day Rental: $39.60 (Expires Feb 02, 2025) 90 Day Rental: $49.50 (Expires Mar 04, 2025) 120 Day Rental: $59.40 (Expires Apr 03, 2025) 180 Day Rental: $64.35 (Expires Jun 02, 2025) Buy eBook Lifetime Access: $99.00 Title: Dynamic Epistemic Logic by Hans Van Ditmarsch; Wiebe Van Der Hoek; Barteld Kooi Publisher: Springer Nature Print ISBN: 9781402058387, 1402058381 eText ISBN: 9781402058394 Edition: 2007 2008 edition Format: PDF eBook	$29.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ