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...
Shranjeno v:
| Auteurs principaux: | , , |
|---|---|
| Drugi avtorji: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Dordrecht :
Springer Netherlands
2008.
|
| Izdaja: | 1st ed. 2008. |
| Serija: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
337 |
| Online dostop: | INSA CVL |
| Sporočilo: |
Book Collection (EBSCOhost) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Dynamic epistemic logic, by Hans van Ditmarsch,... Wiebe van der Hoek,... Barteld Kooi,..., Dordrecht, Springer, 2007, 1 vol. (xi-282 p.), Synthese library, 978-1-4020-5838-7 • Dynamic Epistemic Logic, Texte imprimé, 9789048112456 • Dynamic epistemic logic, by Hans van Ditmarsch,... Wiebe van der Hoek,... Barteld Kooi,..., Dordrecht, Springer, 2007, 1 vol. (xi-282 p.), Synthese library, 978-1-4020-5838-7 • Dynamic epistemic logic, by Hans van Ditmarsch,... Wiebe van der Hoek,... Barteld Kooi,..., Dordrecht, Springer, 2007, 1 vol. (xi-282 p.), Synthese library, 978-1-4020-5838-7 |