Follow
Hans van Ditmarsch
Hans van Ditmarsch
CNRS
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
Dynamic epistemic logic
H van Ditmarsch, W van der Hoek, B Kooi
Springer Verlag, 2007
21112007
Knowledge games
H van Ditmarsch
Bulletin of Economic Research 53 (4), 249-273, 2001
2342001
Handbook of epistemic logic
H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi
College Publications, 2015
2062015
Prolegomena to dynamic logic for belief revision
H van Ditmarsch
Synthese 147 (2), 229-275, 2005
1932005
‘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
1762008
Dynamic epistemic logic with assignment
H van Ditmarsch, W van der Hoek, BP Kooi
Proceedings of 4th AAMAS, 141-148, 2005
1542005
The secret of my success
H van Ditmarsch, B Kooi
Synthese 153 (2), 339-339, 2006
1492006
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1342010
The Russian cards problem
H van Ditmarsch
Studia Logica 75 (1), 31-62, 2003
1292003
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
1252006
Contingency and knowing whether
J Fan, Y Wang, H van Ditmarsch
The Review of Symbolic Logic 8 (01), 75-107, 2015
1172015
Epistemic logic and information update
A Baltag, H van Ditmarsch, LS Moss
Handbook on the Philosophy of Information, 369-463, 2008
932008
Undecidability for arbitrary public announcement logic
T French, H van Ditmarsch
Proceedings of the seventh conference 'Advances in Modal Logic', 23-42, 2008
852008
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
732002
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
692012
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
692006
Introspective forgetting
H van Ditmarsch, A Herzig, J Lang, P Marquis
Synthese 169 (2), 405-423, 2009
672009
Coalitions and announcements
T Ågotnes, H van Ditmarsch
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
652008
The system can't perform the operation now. Try again later.
Articles 1–20