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...
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Dordrecht :
Springer Netherlands
2008.
|
| Udgivelse: | 1st ed. 2008. |
| Serier: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
337 |
| Online adgang: | INSA CVL |
| Kommentar: |
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 |
Indholdsfortegnelse:
- Epistemic Logic
- Belief Revision
- Public Announcements
- Epistemic Actions
- Action Models
- Completeness
- Expressivity