9 citations · 41 across the 10 of their papers we have counts for
11 papers
Metric Dynamic Equilibrium Logic
Arvid Becker, Pedro Cabalar, Martín Diéguez +3
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects…
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…
Temporal Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Martin Dieguez +4
We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the re…
Towards Metric Temporal Answer Set Programming
Pedro Cabalar, Martin Dieguez, Torsten Schaub +1
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Tempora…
Implementing Dynamic Answer Set Programming
Pedro Cabalar, Martín Diéguez, Torsten Schaub +1
We introduce an implementation of an extension of Answer Set Programming (ASP) with language constructs from dynamic (and temporal) logic that provides an expressive computational…
Complete Intuitionistic Temporal Logics in Topological Dynamics
Joseph Boudou, Martín Diéguez, David Fernández-Duque
The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{\sf ITL}^{\sf c}}_{\Diam…
An intuitionistic axiomatization of `eventually'
Martín Diéguez, David Fernández-Duque
Boudou and the authors have recently introduced the intuitionistic temporal logic and shown it to be decidable. In this article we show that the `henceforth'-free fragm…
Bisimulations for intuitionistic temporal logics
Philippe Balbiani, Joseph Boudou, Marín Diéguez +1
We introduce bisimulations for the logic with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to inte…
Axiomatic systems and topological semantics for intuitionistic temporal logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque +1
We propose four axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or o…
A Decidable Intuitionistic Temporal Logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque
We introduce the logic , an intuitionistic temporal logic based on structures , where is used to interpret intuitionistic implication…