Loading…
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 pro...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht, Netherlands :
Springer,
©2007.
Dordrecht, Netherlands : [2007] |
| Series: | Synthese library ;
v. 337. |
| Physical Description: |
1 online resource (xi, 282 pages) : illustrations. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
| Copy 1 | CMU Electronic Access | Available |
|---|