Hans van Ditmarsch

Cited by

	All	Since 2016
Citations	5802	2616
h-index	33	24
i10-index	104	62

500

250

125

375

2002200320042005200620072008200920102011201220132014201520162017201820192020202137 35 44 58 101 162 236 247 306 400 280 341 433 391 378 462 432 485 377 479

Public access

View all

23 articles

1 article

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
Fernando Soler-ToscanoDpto. de Filosofía, Lógica y Filosofía de la Ciencia. Universidad de SevillaVerified email at us.es
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
Louwe B. KuijerUniversity of LiverpoolVerified email at liv.ac.uk
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
Sophia KnightAssistant Professor, University of Minnesota DuluthVerified email at lix.polytechnique.fr

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	1745	2008
Knowledge games H van Ditmarsch Bulletin of Economic Research 53 (4), 249-273, 2001	217	2001
Prolegomena to dynamic logic for belief revision H van Ditmarsch Synthese 147 (2), 229-275, 2005	170	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	142	2008
The secret of my success H van Ditmarsch, B Kooi Synthese 153 (2), 339-339, 2006	132	2006
Dynamic epistemic logic with assignment H van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 4th AAMAS, 141-148, 2005	130	2005
The russian cards problem H van Ditmarsch Studia Logica 75 (1), 31-62, 2003	119	2003
Handbook of epistemic logic H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi College Publications, 2015	115	2015
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	110	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	105	2006
Epistemic logic and information update A Baltag, HP van Ditmarsch, LS Moss Handbook on the Philosophy of Information, 369-463, 2008	79	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	79*	2007
Undecidability for arbitrary public announcement logic T French, H van Ditmarsch Proceedings of the seventh conference 'Advances in Modal Logic', 23-42, 2008	71	2008
Contingency and knowing whether J Fan, Y Wang, H van Ditmarsch The Review of Symbolic Logic 8 (01), 75-107, 2015	69	2015
Concurrent dynamic epistemic logic for MAS HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 2nd AAMAS, 201-208, 2003	68*	2003
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	67	2006
Descriptions of game actions HP van Ditmarsch Journal of Logic, Language and Information 11 (3), 349-365, 2002	65	2002
What will they say?—public announcement games T Ågotnes, H van Ditmarsch Synthese 179 (1), 57-85, 2011	56	2011
Tableaux for public announcement logic P Balbiani, H van Ditmarsch, A Herzig, T De Lima Journal of Logic and Computation 20 (1), 55-76, 2008	56	2008
Coalitions and announcements T Ågotnes, H van Ditmarsch Proceedings of the 7th international joint conference on Autonomous agents …, 2008	56	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