21 citations · 43 across the 14 of their papers we have counts for
1 paper · 1 filter
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque +1
We investigate a version of linear temporal logic whose propositional fragment is Gödel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy lo…