# A G"odel Calculus for Linear Temporal Logic

arXiv: https://arxiv.org/abs/2205.05182 · HTML: https://mlsanity.com/paper/2205.05182/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 10 May 2022.

## Built on by (most cited first, 2 of 2)

- [G"odel-Dummett linear temporal logic](https://mlsanity.com/paper/2306.15805/) (2023)
- [Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming](https://mlsanity.com/paper/2603.14692/) (2026)

## Abstract (arXiv)

We consider G"odel temporal logic (sf GTL), a variant of linear temporal logic based on G"odel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be sc pspace-complete. In this paper we provide a deductive calculus for sf GTL, and show this calculus to be sound and complete for the above-mentioned semantics.