# Temporal Landscapes: A Graphical Logic of Behavior

## TL;DR

This paper introduces a novel temporal logic based on temporal type theory that reasons about behaviors over time using temporal landscapes, providing a new perspective on reasoning about autonomous agents.

## Contribution

It presents a new logical framework that models truth as temporal landscapes, enabling reasoning about behaviors over durations rather than static truth values.

## Key findings

- Demonstrates the logic's application to autonomous agents
- Provides examples illustrating reasoning about temporal behaviors
- Introduces a new approach to temporal reasoning in logic

## Abstract

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 agents.