PPaperPicks

David Fernández-Duque

2 papers at tracked venues · 1 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1KR ×1

Frequent coauthors

Brett McLean
×1
Lukas Zenger
×1
Yoàv Montacute
×1

Papers

  1. A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
    KR 2024 · David Fernández-Duque,
    Brett McLean
    ,
    Lukas Zenger
  2. Dynamic Tangled Derivative Logic of Metric Spaces
    AAAI 2024 · David Fernández-Duque,
    Yoàv Montacute