A Gödel Calculus for Linear Temporal Logic

Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque +1

We consider Gödel temporal logic ($\mathsf{GTL}$), a variant of linear temporal logic based on Gödel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natu…