21 citations · 43 across the 14 of their papers we have counts for
3 papers · 1 filter
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 (), a variant of linear temporal logic based on Gödel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natu…
Time and Gödel: Fuzzy temporal reasoning in PSPACE
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque +1
We investigate a non-classical version of linear temporal logic whose propositional fragment is Gödel--Dummett logic (which is well known both as a superintuitionistic logic and a…
Functorial Fast-Growing Hierarchies
J. P. Aguilera, F. Pakhomov, A. Weiermann
Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplicati…