Dynamic Epistemic Logic By Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
2008 | 296 Pages | ISBN: 1402058381 | PDF | 3 MB
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. Concrete examples and epistemic puzzles enliven the exposition.