Hans van Ditmarsch

Cited by

	All	Since 2017
Citations	6108	2511
h-index	35	23
i10-index	111	65

560

280

140

420

20022003200420052006200720082009201020112012201320142015201620172018201920202021202237 36 45 58 101 165 254 248 304 405 278 344 436 395 380 456 429 478 419 558 169

Public access

View all

36 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Barteld Kooiprofessor of logic and argumentation theory, University of GroningenVerified email at rug.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Tim FrenchThe University of Western AustraliaVerified email at uwa.edu.au
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified email at irit.fr
Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIVerified email at cwi.nl
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
François SchwarzentruberENS RennesVerified email at ens-rennes.fr
Ji RuanAuckland University of TechnologyVerified email at aut.ac.nz
Yanjing WangAssociate Professor of Logic (tenured), Peking UniversityVerified email at pku.edu.cn
Mike AtkinsonEmeritus Professor, Otago UniversityVerified email at cs.otago.ac.nz
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of GroningenVerified email at rug.nl
Louwe B. KuijerUniversity of LiverpoolVerified email at liv.ac.uk
Fernando Soler-ToscanoDpto. de Filosofía, Lógica y Filosofía de la Ciencia. Universidad de SevillaVerified email at us.es
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
Michael AlbertProfessor of Computer Science, Otago UniversityVerified email at cs.otago.ac.nz
David Fernández-DuqueGhent UniversityVerified email at UGent.be
Pere PardoUniversità degli Studi di MilanoVerified email at ruhr-uni-bochum.de
Thomas BolanderProfessor, Technical University of DenmarkVerified email at dtu.dk
rahim ramezanianPhD, Sharif University of TechnologyVerified email at student.sharif.ir

Hans van Ditmarsch

Open University of the Netherlands

Verified email at loria.fr - Homepage

Logic and Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Dynamic epistemic logic H van Ditmarsch, W van der Hoek, B Kooi Springer Verlag, 2008	1830	2008
Knowledge games H van Ditmarsch Bulletin of Economic Research 53 (4), 249-273, 2001	221	2001
Prolegomena to dynamic logic for belief revision H van Ditmarsch Synthese 147 (2), 229-275, 2005	173	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	150	2008
The secret of my success H van Ditmarsch, B Kooi Synthese 153 (2), 339-339, 2006	138	2006
Dynamic epistemic logic with assignment H van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 4th AAMAS, 141-148, 2005	130	2005
Handbook of epistemic logic H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi College Publications, 2015	127	2015
The Russian cards problem H van Ditmarsch Studia Logica 75 (1), 31-62, 2003	122	2003
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	116	2010
Semantic results for ontic and epistemic change HP van Ditmarsch, BP Kooi Logic and the Foundations of Game and Decision Theory (Texts in Logic and …, 2006	113	2006
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
Epistemic logic and information update A Baltag, HP van Ditmarsch, LS Moss Handbook on the Philosophy of Information, 369-463, 2008	81	2008
Undecidability for arbitrary public announcement logic T French, H van Ditmarsch Proceedings of the seventh conference 'Advances in Modal Logic', 23-42, 2008	77	2008
Contingency and knowing whether J Fan, Y Wang, H van Ditmarsch The Review of Symbolic Logic 8 (01), 75-107, 2015	76	2015
Model checking Russian cards HP 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
Concurrent dynamic epistemic logic for MAS HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 2nd AAMAS, 201-208, 2003	68*	2003
Descriptions of game actions HP van Ditmarsch Journal of Logic, Language and Information 11 (3), 349-365, 2002	67	2002
On the logic of lying H van Ditmarsch, J van Eijck, F Sietsma, Y Wang Games, actions and social software, 41-72, 2012	59*	2012
What will they say?—public announcement games T Ågotnes, H van Ditmarsch Synthese 179 (1), 57-85, 2011	58	2011
Coalitions and announcements T Ågotnes, H van Ditmarsch Proceedings of the 7th international joint conference on Autonomous agents …, 2008	58	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors