Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: One-dimensional guarded fragments   We call a first-order formula one-dimensional if its every maximal block of
existential (universal) quantifiers leaves at most one variable free. We
consider the one-dimensional restrictions of the guarded fragment, GF, and the
tri-guarded fragment, TGF, the latter being a recent extension of GF in which
quantification for subformulas with at most two free variables need not be
guarded, and which thus may be seen as a unification of GF and the two-variable
fragment, FO2. We denote the resulting formalisms, resp., GF1, and TGF1. We
show that GF1 has an exponential model property and NExpTime-complete
satisfiability problem (that is, it is easier than full GF). For TGF1 we show
that it is decidable, has the finite model property, and its satisfiability
problem is TwoExpTime-complete (NExpTime-complete in the absence of equality).
All the above-mentioned results are obtained for signatures with no constants.
We finally discuss the impact of their addition, observing that constants do
not spoil the decidability but increase the complexity of the satisfiability
problem.

4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph