Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal
  Datalog   A natural liberalization of Datalog is used in the Distributed Knowledge
Authorization Language (DKAL). We show that the expressive power of this
liberal Datalog is that of existential fixed-point logic. The exposition is
self-contained.

17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th