Dynamic Epistemic Logic
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer-Verlag New York Inc.
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781402069086
- Se flere detaljer ▼
Beskrivelse
Dynamic Epistemic Logic is the logic of knowledge change. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer-Verlag New York Inc. |
| Forfattere | Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 2008 ed. |
| Udgivelsesdato | 15-11-2007 |
| Første udgivelsesår | 2007 |
| Serie | Synthese Library |
| Illustrationer | XI, 296 p. |
| Originalsprog | United States |
| Sideantal | 296 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag New York Inc. |
| Sideoplysninger | 296 pages, XI, 296 p. |
| Mål | 241 x 235 x 20 |
| ISBN-13 / EAN-13 | 9781402069086 |