
Hans van Ditmarsch
Announcement as effort on topological spaces
2019
Synthese 196/7

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
2017
Synthese 194/7

Logic of change, change of logic
2009
Synthese 171/2

Comments to "logics of public communications"
2007
Synthese 158/2

Prolegomena to dynamic logic for belief revision
2005
Synthese 147/2
