Dynamic epistemic logic H van Ditmarsch, W van der Hoek, B Kooi Springer Verlag, 2007 | 2114 | 2007 |
Knowledge games H van Ditmarsch Bulletin of Economic Research 53 (4), 249-273, 2001 | 234 | 2001 |
Handbook of epistemic logic H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi College Publications, 2015 | 207 | 2015 |
Prolegomena to dynamic logic for belief revision H van Ditmarsch Synthese 147 (2), 229-275, 2005 | 193 | 2005 |
‘Knowable’ as ‘known after an announcement’ P Balbiani, A Baltag, H van Ditmarsch, A Herzig, T Hoshi, T de Lima Review of symbolic logic 1 (3), 305-334, 2008 | 176 | 2008 |
Dynamic epistemic logic with assignment H van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 4th AAMAS, 141-148, 2005 | 154 | 2005 |
The secret of my success H van Ditmarsch, B Kooi Synthese 153 (2), 339-339, 2006 | 150 | 2006 |
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010 | 134 | 2010 |
The Russian cards problem H van Ditmarsch Studia Logica 75 (1), 31-62, 2003 | 129 | 2003 |
Semantic results for ontic and epistemic change H van Ditmarsch, BP Kooi Logic and the Foundations of Game and Decision Theory (Texts in Logic and …, 2006 | 125 | 2006 |
Contingency and knowing whether J Fan, Y Wang, H van Ditmarsch The Review of Symbolic Logic 8 (01), 75-107, 2015 | 117 | 2015 |
Epistemic logic and information update A Baltag, H van Ditmarsch, LS Moss Handbook on the Philosophy of Information, 369-463, 2008 | 93 | 2008 |
Undecidability for arbitrary public announcement logic T French, H van Ditmarsch Proceedings of the seventh conference 'Advances in Modal Logic', 23-42, 2008 | 85 | 2008 |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability paradox P Balbiani, A Baltag, H van Ditmarsch, A Herzig, T Hoshi, T de Lima Proceedings of 11th TARK, 42-51, 2007 | 82* | 2007 |
Descriptions of game actions H van Ditmarsch Journal of Logic, Language and Information 11 (3), 349-365, 2002 | 73 | 2002 |
Concurrent dynamic epistemic logic for MAS H van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 2nd AAMAS, 201-208, 2003 | 72* | 2003 |
On the logic of lying H van Ditmarsch, J van Eijck, F Sietsma, Y Wang Games, actions and social software, 41-72, 2012 | 69 | 2012 |
Model checking Russian cards H van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006 | 69 | 2006 |
Introspective forgetting H van Ditmarsch, A Herzig, J Lang, P Marquis Synthese 169 (2), 405-423, 2009 | 67 | 2009 |
Coalitions and announcements T Ågotnes, H van Ditmarsch Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 65 | 2008 |