Hans P. van Ditmarsch

Prolegomena to Dynamic Logic for Belief Revision

Hans P. van Ditmarsch · Synthese · 2005 · 159 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +4

Dynamic epistemic logic with assignment

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld Kooi · 2005 · 134 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +12

Semantic results for ontic and epistemic change

Hans P. van Ditmarsch, Barteld Kooi · arXiv (Cornell University) · 2006 · 95 citations · Full text

Formal Semantics, Non-classical Logic, Philosophy Of Language +13

Undecidability for arbitrary public announcement logic

Tim French, Hans P. van Ditmarsch · UWA Profiles and Research Repository (University of Western Australia) · 2008 · 60 citations · Full text

Public Announcement, Engineering, Dynamic Epistemic Logic +12

Model Checking Russian Cards

Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden et al. · Electronic Notes in Theoretical Computer Science · 2006 · 51 citations · Full text

Engineering, Game Theory, Verification +18