Dynamic epistemic logic
Auteur :
van Ditmarsch, Hans / van der Hoek, Wiebe / Kooi, Barteld
Éditeur :
Springer-Verlag New York Inc.
ISBN :
9781402069086
Date de publication :
15 nov. 2007
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA
Dynamic Epistemic Logic is the logic of knowledge change. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions.