Publications de
Hans Van Ditmarsch, Tim French
Simulation and information
Dans : Proceedings of KRAMAS. Jan Broersen, John-Jules Ch Meyer (Eds.) , Springer, p. 51-65, Vol. 5606, LNAI, 2009.
Tim French, Hans Van Ditmarsch
Undecidability for Arbitrary Public Announcement Logic
Dans : Proceedings of the seventh conference ‘Advances in Modal Logic’. Carlos Areces, Rob Goldblatt (Eds.) , College Publications, p. 23-42, Advances in Modal Logic, 7, 2008.