Hans van Ditmarsch
Artificial Intelligence · 2007–2015
A researcher in the Science corpus: 2 papers; trusts 5 researchers and is trusted by 1 researcher here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 9 citations into it; #32,978 of 35,345 by trust here, #28,481 by citations
Whom Hans van Ditmarsch trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Ronald Fagin
- Alexandru Baltag
- J. Benthem
- Bernhard Beckert
- Larry Moss
- Vladimir Klebanov
- Joseph Y. Halpern
- P. Menzies
Who trusts Hans van Ditmarsch overall
Papers from Hans van Ditmarsch's perspective
Ordered by how strongly the researchers Hans van Ditmarsch trusts endorse each paper. Same corpus, a different order for every researcher.
- Logics for Epistemic Programs (Synthese)
- Dynamic logic (SIGA)
- Reasoning about knowledge
- Logics of communication and change (Information and Computation)
- Modal Logic (Cambridge Tracts in Theoretical Computer Science)
- Logics of public communications (Synthese)
- One is a Lonely Number: on the logic of communication
- Knowledge in Flux: Modeling the Dynamics of Epistemic States
- How to do things with words
- A qualitative theory of dynamic interactive belief revision
Their papers
- Dynamic Epistemic Logic (2007) — 632 citations
- Handbook of epistemic logic (2015) — 118 citations