Dynamic Epistemic Logic
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2007 |
| Authors | Barteld Pieter Kooi |
| Hans van Ditmarsch | |
| Wiebe Hoek | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2031869 |
About Dynamic Epistemic Logic
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. . . .