Dynamic Epistemic Logic

• Κύριοι συγγραφείς: Ditmarsch, Hans van (Συγγραφέας), Hoek, Wiebe van der (Συγγραφέας), Kooi, Barteld (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2007.
• Σειρά: Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; 337
• Θέματα: 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...