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...
Bewaard in:
| Hoofdauteurs: | , , |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Dordrecht :
Springer Netherlands
2008.
|
| Editie: | 1st ed. 2008. |
| Reeks: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
337 |
| Online toegang: | INSA CVL |
| Opmerking: |
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 |