Dynamic Epistemic Logic by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi.
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...
Full description
Saved in:
Bibliographic Details
| Main Authors: |
van Ditmarsch, Hans
(Author),
van der Hoek, Wiebe
(Author),
Kooi, Barteld
(Author) |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
|---|
| Edition: | 1st ed. 2008. |
|---|
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
337
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|