6 citations · 42 across the 18 of their papers we have counts for
5 papers · 1 filter
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, Martín Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…
Gödel-Dummett linear temporal logic
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…
Preservation theorems for Tarski's relation algebra
Bart Bogaerts, Balder ten Cate, Brett McLean +1
We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they…
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…