Juan Pablo Aguilera | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Martín Diéguez
16 publications
David Fernández-Duque
16 publications
Brett McLean
10 publications

research

∙ 06/27/2023

Gödel-Dummett linear temporal logic

We investigate a version of linear temporal logic whose propositional fr...

0 Juan Pablo Aguilera, et al. ∙

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...

0 Juan Pablo Aguilera, et al. ∙

research

∙ 05/01/2022

Time and Gödel: Fuzzy temporal reasoning in PSPACE

We investigate a non-classical version of linear temporal logic whose pr...

0 Juan Pablo Aguilera, et al. ∙