Ebooks de Barteld Kooi en PDF

1 Livre(s)
Télécharger le livre : Dynamic Epistemic Logic
Ajouter à ma liste d'envies
Dynamic Epistemic Logic
Wiebe Van Der Hoek , Barteld Kooi , Hans Van Ditmarsch
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...

Editeur : Springer
Parution : 2007-05-06
Collection : Synthese Library
PDF

94,94 €