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

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: van Ditmarsch, Hans (Author), van der Hoek, Wiebe (Author), Kooi, Barteld (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
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.
Knowledge, Theory of.
Machine theory.
Artificial Intelligence.
Epistemology.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • Epistemic Logic
  • Belief Revision
  • Public Announcements
  • Epistemic Actions
  • Action Models
  • Completeness
  • Expressivity.

Similar Items