Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Satisfiability of ECTL* with tree constraints   Recently, we have shown that satisfiability for $\mathsf{ECTL}^*$ with
constraints over $\mathbb{Z}$ is decidable using a new technique. This approach
reduces the satisfiability problem of $\mathsf{ECTL}^*$ with constraints over
some structure A (or class of structures) to the problem whether A has a
certain model theoretic property that we called EHD (for "existence of
homomorphisms is decidable"). Here we apply this approach to concrete domains
that are tree-like and obtain several results. We show that satisfiability of
$\mathsf{ECTL}^*$ with constraints is decidable over (i) semi-linear orders
(i.e., tree-like structures where branches form arbitrary linear orders), (ii)
ordinal trees (semi-linear orders where the branches form ordinals), and (iii)
infinitely branching trees of height h for each fixed $h\in \mathbb{N}$. We
prove that all these classes of structures have the property EHD. In contrast,
we introduce Ehrenfeucht-Fraisse-games for $\mathsf{WMSO}+\mathsf{B}$ (weak
$\mathsf{MSO}$ with the bounding quantifier) and use them to show that the
infinite (order) tree does not have property EHD. As a consequence, a different
approach has to be taken in order to settle the question whether satisfiability
of $\mathsf{ECTL}^*$ (or even $\mathsf{LTL}$) with constraints over the
infinite (order) tree is decidable.

24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th