research
∙
06/27/2023
Gödel-Dummett linear temporal logic
We investigate a version of linear temporal logic whose propositional fr...
research
∙
05/10/2022
A Gödel Calculus for Linear Temporal Logic
We consider Gödel temporal logic (GTL), a variant of linear temporal log...
research
∙
05/01/2022