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...
Dordrecht, Netherlands :
|Series:||Synthese library ;
v. 337. |
|Online Access:||Online version|
No Tags, Be the first to tag this record!