Dynamic Epistemic Logic (2008) (Synthese Library #337)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2008
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9781402058394
- Related ISBNs:
- 9781402058387
- Publisher:
- Springer Netherlands
- Date of Addition:
- 02/19/21
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Hans van Ditmarsch
- by Wiebe van der Hoek
- by Barteld Kooi
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy