Cover Image
Saved in:

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

Full description

Main Author: Ditmarsch, Hans van, 1959-
Corporate Author: SpringerLink (Online service)
Other Authors: Hoek, W. van der, Kooi, Barteld Pieter, 1976-
Format: Online Book
Language:English
Published: Dordrecht, Netherlands : Springer, c2007.
Series:Synthese library ; v. 337.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!