Cover Image

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

Full description

Main Authors: van Ditmarsch, Hans. (Author, http://id.loc.gov/vocabulary/relators/aut), van der Hoek, Wiebe. (http://id.loc.gov/vocabulary/relators/aut), Kooi, Barteld. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 337
Subjects:
Logic.
Artificial intelligence.
Epistemology.
Mathematical logic.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-1-4020-5839-4

Internet

https://doi.org/10.1007/978-1-4020-5839-4

Similar Items