@Inproceedings{EPTCS251.27, author = {Kuijer, Louwe B.}, year = {2017}, title = {Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE}, editor = {Lang, J\'er\^ome}, booktitle = {{\rm Proceedings Sixteenth Conference on} Theoretical Aspects of Rationality and Knowledge, {\rm Liverpool, UK, 24-26 July 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {251}, publisher = {Open Publishing Association}, pages = {373-381}, doi = {10.4204/EPTCS.251.27}, }