Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov, “Subset space logic with arbitrary announcements”, Lecture Notes in Comput. Sci., 7750 (2013), 233–244
Dynamic Epistemic Logic Hans van Ditmarsch International workshop "Logical Models of Reasoning and Computation" February 1, 2012 10:45
2.
Future event logic – axioms and complexity Hans van Ditmarsch, Tim French, Sophie Pinchinat The eighth International ņonference "Advances in Modal Logic" (AiML 2010) August 25, 2010 09:50