1. Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban (2010): Group announcement logic. Journal of Applied Logic 8(1), pp. 62 – 81, doi:10.1016/j.jal.2008.12.002.
  2. Thomas Ågotnes & Hans van Ditmarsch (2008): Coalitions and Announcements. In: Padgham, Parkes, Müller & Parsons: Proc. of 7th Int. Conf. on Autonomous Agents and Multi-agent Systems (AAMAS 2008), pp. 673–680.
  3. Thomas Ågotnes, Hans van Ditmarsch & Tim French (2014): The Undecidability of Group Announcements. In: Ana Bazzan Michael Huhns Alessio Lomuscio, Paul Scerri: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), pp. 893–900.
  4. Thomas Ågotnes, Hans van Ditmarsch & Tim French (2016): The Undecidability of Quantified Announcements. Studia Logica 104(4), pp. 597–640, doi:10.1007/s11225-016-9657-0.
  5. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008): `Knowable' as `known after an announcement'. Review of Symbolic Logic 1(3), pp. 205–334, doi:10.1017/S1755020308080210.
  6. Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales & Sophie Pinchinat (2014): Refinement modal logic. Information and Computation 239, pp. 303–339, doi:10.1016/j.ic.2014.07.013.
  7. Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi & Louwe B. Kuijer (2017): Arbitrary Arrow Update Logic. Artificial Intelligence 242, pp. 80–106, doi:10.1016/j.artint.2016.10.003.
  8. Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer (2016): The Undecidability of Arbitrary Arrow Update Logic. ArXiv:1609.05686.
  9. Tim French & Hans van Ditmarsch (2008): Undecidability for arbitrary public announcement logic. In: C. Areces & R. Goldblatt: Proceedings of the seventh conference `Advances in Modal Logic'. College Publications, London, pp. 23–42.
  10. James Hales (2013): Arbitrary action model logic and action model synthesis. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 253–262, doi:10.1109/LICS.2013.31.
  11. Barteld Kooi & Bryan Renne (2011): Arrow update logic. Review of Symbolic Logic 4(4), pp. 536–559, doi:10.1017/S1755020311000189.
  12. Alan M. Turing (1937): On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society s2-42(1), pp. 230–265, doi:10.1112/plms/s2-42.1.230.

Comments and questions to:
For website issues: