Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model Checking the Logic of Allen's Relations Meets and Started-by is
  $P^NP$-Complete   In the plethora of fragments of Halpern and Shoham's modal logic of time
intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a
central position. Statements that may be true at certain intervals, but at no
sub-interval of them, such as accomplishments, as well as metric constraints
about the length of intervals, that force, for instance, an interval to be at
least (resp., at most, exactly) k points long, can be expressed in AB.
Moreover, over the linear order of the natural numbers N, it subsumes the
(point-based) logic LTL, as it can easily encode the next and until modalities.
Finally, it is expressive enough to capture the {\omega}-regular languages,
that is, for each {\omega}-regular expression R there exists an AB formula
{\phi} such that the language defined by R coincides with the set of models of
{\phi} over N. It has been shown that the satisfiability problem for AB over N
is EXPSPACE-complete. Here we prove that, under the homogeneity assumption, its
model checking problem is {\Delta}^p_2 = P^NP-complete (for the sake of
comparison, the model checking problem for full HS is EXPSPACE-hard, and the
only known decision procedure is nonelementary). Moreover, we show that the
modality for the Allen relation Met-by can be added to AB at no extra cost
(AA'B is P^NP-complete as well).

34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex