Hans van Ditmarsch

Cited by

	All	Since 2016
Citations	5586	2402
h-index	33	23
i10-index	102	56

520

260

130

390

2002200320042005200620072008200920102011201220132014201520162017201820192020202137 35 42 58 101 167 246 251 303 386 281 340 430 391 374 466 427 501 410 220

Public access

View all

4 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
Mike AtkinsonEmeritus Professor, Otago UniversityVerified email at cs.otago.ac.nz
Yanjing WangAssociate Professor of Logic (tenured), Peking UniversityVerified email at pku.edu.cn
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
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
Thomas BolanderProfessor, Technical University of DenmarkVerified email at dtu.dk
David Fernández-DuqueGhent UniversityVerified email at UGent.be
Pere PardoUniversità degli Studi di MilanoVerified email at ruhr-uni-bochum.de
Louwe B. KuijerUniversity of LiverpoolVerified email at liv.ac.uk
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	1683	2008
Knowledge games H van Ditmarsch Bulletin of Economic Research 53 (4), 249-273, 2001	213	2001
Prolegomena to dynamic logic for belief revision H van Ditmarsch Synthese 147 (2), 229-275, 2005	168	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	136	2008
Dynamic epistemic logic with assignment H van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 4th AAMAS, 141-148, 2005	129	2005
The secret of my success H van Ditmarsch, B Kooi Synthese 153 (2), 339-339, 2006	126	2006
The russian cards problem H van Ditmarsch Studia Logica 75 (1), 31-62, 2003	116	2003
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	105	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	100	2006
Handbook of epistemic logic H van Ditmarsch, JY Halpern, W van der Hoek, BP Kooi College Publications, 2015	98	2015
Epistemic logic and information update A Baltag, HP van Ditmarsch, LS Moss Handbook on the Philosophy of Information, 369-463, 2008	76	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	76*	2007
Contingency and knowing whether J Fan, Y Wang, H van Ditmarsch The Review of Symbolic Logic 8 (01), 75-107, 2015	68	2015
Undecidability for arbitrary public announcement logic T French, H van Ditmarsch Proceedings of the seventh conference 'Advances in Modal Logic', 23-42, 2008	68	2008
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	65	2006
Concurrent dynamic epistemic logic for MAS HP van Ditmarsch, W van der Hoek, BP Kooi Proceedings of 2nd AAMAS, 201-208, 2003	64*	2003
Descriptions of game actions HP van Ditmarsch Journal of Logic, Language and Information 11 (3), 349-365, 2002	63	2002
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	55	2008
What will they say?—public announcement games T Ågotnes, H van Ditmarsch Synthese 179 (1), 57-85, 2011	53	2011

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

Upload PDF

Follow this author

Cited by

Co-authors