Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor
  co-RE   Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic
epistemic logic with (i) an arrow update operator, which represents a
particular type of information change and (ii) an arbitrary arrow update
operator, which quantifies over arrow updates.
  By encoding the execution of a Turing machine in AAULC, we show that neither
the valid formulas nor the satisfiable formulas of AAULC are recursively
enumerable. In particular, it follows that AAULC does not have a recursive
axiomatization.

3
The categories of this paper are: physics
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol