9 citations · 41 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 4 cited
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…
cs.LO2022★ 6 cited
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…