Dynamic Epistemic Logic
Barteld Kooi, Hans van Ditmarsch, Wiebe van der Hoek
Springer-Verlag New York Inc., 2007
121,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9781402069086
- ISBN-10
- 1402069081
- Publisher
- Springer-Verlag New York Inc.
- Year
- 2007
- Publication date
- 2007-11-15
- Pages
- 296
- Dimensions
- 241x235x20
- Weight
- 472