Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hybrid Branching-Time Logics   Hybrid branching-time logics are introduced as extensions of CTL-like logics
with state variables and the downarrow-binder. Following recent work in the
linear framework, only logics with a single variable are considered. The
expressive power and the complexity of satisfiability of the resulting logics
is investigated.
  As main result, the satisfiability problem for the hybrid versions of several
branching-time logics is proved to be 2EXPTIME-complete. These branching-time
logics range from strict fragments of CTL to extensions of CTL that can talk
about the past and express fairness-properties. The complexity gap relative to
CTL is explained by a corresponding succinctness result.
  To prove the upper bound, the automata-theoretic approach to branching-time
logics is extended to hybrid logics, showing that non-emptiness of alternating
one-pebble Buchi tree automata is 2EXPTIME-complete.

11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol