Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Expressive power of basic modal intuitionistic logic as a fragment of
  classical FOL   The paper treats 4 different fragments of first-order logic induced by their
respective versions of Kripke style semantics for modal intuitionistic logic.
In order to capture these fragments, the notion of asimulation is modified and
extended to yield Van Benthem type of semantic characterization of their
respective expressive powers. It is shown, further, that this characterization
can be easily carried over to arbitrary first-order definable subclasses of
classical first-order models.

29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
1
The categories of this paper are: cs
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an