@article(Agotnes2010,
 author       = {\r A{}gotnes, Thomas and Philippe Balbiani and Hans van Ditmarsch and Pablo Seban},
 year         = {2010},
 title        = {Group announcement logic},
 journal      = {Journal of Applied Logic},
 volume       = {8},
 number       = {1},
 pages        = {62 -- 81},
 doi          = {10.1016/j.jal.2008.12.002},
)
@inproceedings(CAL,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch},
 year         = {2008},
 title        = {Coalitions and Announcements},
 editor       = {Padgham and Parkes and M{\"u}ller and Parsons},
 booktitle    = {Proc. of 7th Int. Conf. on Autonomous Agents and Multi-agent Systems (AAMAS 2008)},
 pages        = {673--680},
)
@inproceedings(agotnes2014,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch and Tim French},
 year         = {2014},
 title        = {The Undecidability of Group Announcements},
 editor       = {Ana Bazzan Michael~Huhns Alessio~Lomuscio, Paul~Scerri},
 booktitle    = {Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)},
 pages        = {893--900},
)
@article(agotnesetal:2016,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch and Tim French},
 year         = {2016},
 title        = {The Undecidability of Quantified Announcements},
 journal      = {Studia Logica},
 volume       = {104},
 number       = {4},
 pages        = {597--640},
 doi          = {10.1007/s11225-016-9657-0},
)
@article(APAL,
 author       = {Philippe Balbiani and Alexandru Baltag and Hans van Ditmarsch and Andreas Herzig and Tomohiro Hoshi and Tiago de~Lima},
 year         = {2008},
 title        = {`{K}nowable' as `known after an announcement'},
 journal      = {Review of Symbolic Logic},
 volume       = {1},
 number       = {3},
 pages        = {205--334},
 doi          = {10.1017/S1755020308080210},
)
@article(refinement,
 author       = {Laura Bozzelli and Hans van Ditmarsch and Tim French and James Hales and Sophie Pinchinat},
 year         = {2014},
 title        = {Refinement modal logic},
 journal      = {Information and Computation},
 volume       = {239},
 pages        = {303--339},
 doi          = {10.1016/j.ic.2014.07.013},
)
@article(AAULAIJ,
 author       = {{}van~Ditmarsch, Hans and Wiebe van~der Hoek and Barteld Kooi and Louwe~B. Kuijer},
 year         = {2017},
 title        = {Arbitrary Arrow Update Logic},
 journal      = {Artificial Intelligence},
 volume       = {242},
 pages        = {80--106},
 doi          = {10.1016/j.artint.2016.10.003},
)
@unpublished(undecidable,
 author       = {{}van~Ditmarsch, Hans and Wiebe van~der Hoek and Louwe~B. Kuijer},
 year         = {2016},
 title        = {The Undecidability of Arbitrary Arrow Update Logic},
 note         = {ArXiv:1609.05686},
)
@inproceedings(french08,
 author       = {Tim French and Hans van Ditmarsch},
 year         = {2008},
 title        = {Undecidability for arbitrary public announcement logic},
 editor       = {C.~Areces and R.~Goldblatt},
 booktitle    = {Proceedings of the seventh conference `Advances in Modal Logic'},
 publisher    = {College Publications},
 address      = {London},
 pages        = {23--42},
)
@inproceedings(hales13,
 author       = {James Hales},
 year         = {2013},
 title        = {Arbitrary action model logic and action model synthesis},
 booktitle    = {28th Annual ACM/IEEE Symposium on Logic in Computer Science},
 organization = {IEEE},
 pages        = {253--262},
 doi          = {10.1109/LICS.2013.31},
)
@article(AUL,
 author       = {Barteld Kooi and Bryan Renne},
 year         = {2011},
 title        = {Arrow update logic},
 journal      = {Review of Symbolic Logic},
 volume       = {4},
 number       = {4},
 pages        = {536--559},
 doi          = {10.1017/S1755020311000189},
)
@article(turing1937,
 author       = {Alan~M. Turing},
 year         = {1937},
 title        = {On Computable Numbers, with an Application to the Entscheidungsproblem},
 journal      = {Proceedings of the London Mathematical Society},
 volume       = {s2-42},
 number       = {1},
 pages        = {230--265},
 doi          = {10.1112/plms/s2-42.1.230},
)