Hans van Ditmarsch
(2010-2019)
XAnnouncement as effort on topological spaces
2019
Synthese 196/7
2018
Synthese 195/10
2018
in: Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht : Springer
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
2017
Synthese 194/7
2014
Synthese 191/5