| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Dynamic Epistemic Logic | Hardcover | 978-1-4020-5838-7 (1-4020-5838-1) | 2007 | Hans van Ditmarsch · Wiebe van der Hoek |
| Dynamic Epistemic Logic | Paperback | 978-1-4020-6908-6 (1-4020-6908-1) | 2007 | Hans van Ditmarsch · Wiebe van der Hoek |