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.
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.
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.
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.
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.
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.
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.
Hans van Ditmarsch, Wiebe van der Hoek & Louwe B. Kuijer (2016):
The Undecidability of Arbitrary Arrow Update Logic.
ArXiv:1609.05686.
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.
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.
Barteld Kooi & Bryan Renne (2011):
Arrow update logic.
Review of Symbolic Logic 4(4),
pp. 536–559,
doi:10.1017/S1755020311000189.
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.
eptcs@eptcs.org