Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Temporal Landscapes: A Graphical Temporal Logic for Reasoning   We present an elementary introduction to a new logic for reasoning about
behaviors that occur over time. This logic is based on temporal type theory.
The syntax of the logic is similar to the usual first-order logic; what differs
is the notion of truth value. Instead of reasoning about whether formulas are
true or false, our logic reasons about temporal landscapes. A temporal
landscape may be thought of as representing the set of durations over which a
statement is true. To help understand the practical implications of this
approach, we give a wide variety of examples where this logic is used to reason
about autonomous systems.

16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
1
The categories of this paper are: cs
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics