Dynamic Epistemic Logic

• Main Authors: Ditmarsch, Hans van (Author), Hoek, Wiebe van der (Author), Kooi, Barteld (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2007.
• Series: Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; 337
• Subjects: Philosophy.; Epistemology.; Logic.; Mathematical logic.; Artificial intelligence.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.

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 sys...