Martín Diéguez

Available identifiers

zbMath Open dieguez.martinMaRDI QIDQ2296758

List of research outcomes

Publication	Date of Publication	Type
Gödel-Dummett linear temporal logic	2025-01-17	Paper
Metric temporal equilibrium logic over timed traces	2025-01-03	Paper
Past-present temporal programs over finite traces	2024-05-29	Paper
Exploring the Jungle of Intuitionistic Temporal Logics	2023-12-12	Paper
Metric dynamic equilibrium logic	2023-10-30	Paper
Time and Gödel: fuzzy temporal reasoning in PSPACE	2023-06-02	Paper
Metric temporal answer set programming over timed traces	2023-04-04	Paper
A framework for modelling molecular interaction maps	2022-10-12	Paper
Bisimulations for intuitionistic temporal logics	2022-10-12	Paper
Setting the basis for here and there modal logics	2022-09-28	Paper
Complete intuitionistic temporal logics for topological dynamics	2022-08-29	Paper
Towards metric temporal answer set programming	2020-12-13	Paper
A decidable intuitionistic temporal logic	2020-05-26	Paper
Axiomatic systems and topological semantics for intuitionistic temporal logic	2020-02-18	Paper
Intuitionistic linear temporal logics	2020-02-14	Paper
Abductive reasoning on molecular interaction maps	2020-02-07	Paper
Temporal logic modeling of biological systems	2020-02-04	Paper
Towards dynamic answer set programming over finite traces	2019-10-10	Paper
An intuitionistic axiomatization of `eventually'	2019-07-24	Paper
Here and there modal logic with dual implication	2019-07-24	Paper
Temporal equilibrium logic with past operators	2018-09-12	Paper
Temporal equilibrium logic: a survey	2018-08-28	Paper
Axiomatic systems and topological semantics for intuitionistic temporal logic	2018-03-13	Paper
Bisimulations for intuitionistic temporal logics	2018-03-13	Paper
Temporal logic programs with variables	2017-11-09	Paper
An infinitary encoding of temporal equilibrium logic	2017-11-09	Paper
Temporal here and there	2016-11-30	Paper
Metabolic pathways as temporal logic programs	2016-11-30	Paper
Paving the way for temporal grounding	2014-02-25	Paper
Temporal answer set programming	2014-02-25	Paper

Research outcomes over time

This page was built for person: Martín Diéguez