Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Complete Intuitionistic Temporal Logics in Topological Dynamics   The language of linear temporal logic can be interpreted over the class of
dynamic topological systems, giving rise to the intuitionistic temporal logic
${{\sf ITL}^{\sf c}}_{\Diamond,\forall}$, recently shown to be decidable by
Fern\'andez-Duque. In this article we axiomatize this logic, some fragments,
and prove completeness for several familiar spaces.

8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an