Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linear Temporal Logic and Propositional Schemata, Back and Forth
  (extended version)   This paper relates the well-known Linear Temporal Logic with the logic of
propositional schemata introduced by the authors. We prove that LTL is
equivalent to a class of schemata in the sense that polynomial-time reductions
exist from one logic to the other. Some consequences about complexity are
given. We report about first experiments and the consequences about possible
improvements in existing implementations are analyzed.

18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn