Mart\'in Di\'eguez

Identifiers

• name variant Mart\'in Di\'eguez 0.60 · backfill

Papers (7)

1. Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics cs.LO · 2026 · author #1
2. Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming cs.LO · 2026 · author #2
3. Constructive S4 modal logics with the finite birelational frame property cs.LO · 2024 · author #2
4. An intuitionistic axiomatization of `eventually' math.LO · 2018 · author #1
5. Axiomatic systems and topological semantics for intuitionistic temporal logic math.LO · 2018 · author #2
6. A Decidable Intuitionistic Temporal Logic math.LO · 2017 · author #2
7. Temporal Logic Programs with Variables cs.AI · 2016 · author #3

Mentions

• 2403.00201 #2 · arxiv_oai · confidence 0.70 Mart\'in Di\'eguez
• 2603.14692 #2 · arxiv_oai · confidence 0.70 Mart\'in Di\'eguez
• 2605.30618 #1 · arxiv_oai · confidence 0.70 Mart\'in Di\'eguez

Frequent Coauthors

• David Fern\'andez-Duque 5 shared papers
• Igor St\'ephan 2 shared papers
• Joseph Boudou 2 shared papers
• Pedro Cabalar 2 shared papers
• Torsten Schaub 2 shared papers
• Brett McLean 1 shared papers
• Concepci\'on Vidal 1 shared papers
• Fabi\'an Romero 1 shared papers
• Felicidad Aguado 1 shared papers
• Fran\c{c}ois Laferri\`ere 1 shared papers
• Gilberto P\'erez 1 shared papers
• Philippe Balbiani 1 shared papers
• Susana Hahn 1 shared papers