
Dynamic Epistemic Logic
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.
- Författare
- Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
- Upplaga
- 2008 ed.
- ISBN
- 9781402058387
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2007-06-08
- Sidor
- 296
