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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: van Ditmarsch, Hans (Autor), van der Hoek, Wiebe (Autor), Kooi, Barteld (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 337
Temas:
Logic.
Artificial intelligence.
Knowledge, Theory of.
Machine theory.
Artificial Intelligence.
Epistemology.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Epistemic Logic
  • Belief Revision
  • Public Announcements
  • Epistemic Actions
  • Action Models
  • Completeness
  • Expressivity.

Ejemplares similares