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
https://portal.mardi4nfdi.de/entity/Q5039150	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5039160	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5869667	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
https://portal.mardi4nfdi.de/entity/Q5224560	2019-07-24	Paper
An intuitionistic axiomatization of `eventually'	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
An infinitary encoding of temporal equilibrium logic	2017-11-09	Paper
Temporal logic programs with variables	2017-11-09	Paper
Metabolic Pathways as Temporal Logic Programs	2016-11-30	Paper
Temporal Here and There	2016-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q5398067	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