3 papers
cs.LO2023
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…
math.LO2023
The universal tangle for spatial reasoning
David Fernández-Duque, Konstantinos Papafilippou
The topological -calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represe…
math.LO2023
Dynamic Tangled Derivative Logic of Metric Spaces
David Fernández-Duque, Yoàv Montacute
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due…