van Ditmarsch, Hans books & textbook
Dynamic Epistemic Logic (Synthese Library, 337)
van Ditmarsch, Hans van der Hoek, Wiebe Kooi, Barteld
Springer /2007-11-15 Paperback / 307 Pages
isbn-10: 1402069081 / isbn-13: 9781402069086
One Hundred Prisoners and a Light Bulb
van Ditmarsch, Hans Kooi, Barteld Elancheziyan
Copernicus /2015-07-21 Paperback / 197 Pages
isbn-10: 331916693X / isbn-13: 9783319166933
Handbook of Epistemic Logic
Hans van Ditmarsch Joseph Y. Halpern Wiebe van der Hoek Barteld Kooi
College Publications /2015-02-05 Paperback / 676 Pages
isbn-10: 1848901585 / isbn-13: 9781848901582
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings (Lecture Notes in Computer Science) (2011-09-13)
Springer /1873-01-01 Paperback
Information-Based Security Protocols for Ideal Agents
PN /2006T Paperback
Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings (Lecture Notes in Computer Science, 6680)
Blackburn, Patrick van Ditmarsch, Hans Manzano, Maria Soler-Toscano, Fernando
Springer /2011-05-23 Paperback / 268 Pages
isbn-10: 3642213499 / isbn-13: 9783642213496
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Outstanding Contributions to Logic, 12)
van Ditmarsch, Hans Sandu, Gabriel
Springer /2019-06-04 Paperback / 641 Pages
isbn-10: 3319874144 / isbn-13: 9783319874142
