Le manuel d’étude en anglais Logique épistémique dynamique de Hans van Ditmarsch, Wiebe van der Hoek et Barteld Kooi traite de la logique du changement de connaissances. Ce livre convient aux étudiants de l’enseignement supérieur qui s’intéressent aux spécifications formelles des systèmes multi-agents.
La logique du knowledge change, ou logique épistémique dynamique, comprend une famille de systèmes qui modélisent les aspects statiques et dynamiques des connaissances. Ce livre propose divers systèmes logiques avec des systèmes de preuve, des exemples concrets et des énigmes épistémiques. En outre, il contient des exercices avec Antwoorden, ce qui le rend adapté aux cours de niveau master en logique.
Le contenu comprend notamment une introduction à l’histoire et aux liens avec d’autres disciplines, un aperçu de la logique épistémique multi-agents avec des modalités de groupe telles que la connaissance générale et la connaissance commune, la modélisation de la belief revision, et une étude approfondie des public announcements. De plus, les actions épistémiques complexes et leur logique sont abordées, ainsi que les preuves initiales de complétude pour les systèmes introduits.
Ce livre s’inscrit, sur le plan du contenu, à la fois dans la philosophie et la logique et fait partie de la Synthese Library.