Martín Diéguez

Constructive S4 modal logics with the finite birelational frame property

2024 · arXiv (Cornell University)

The logics $\mathsf{CS4}$ and $\mathsf{IS4}$ are the two leading intuitionistic variants of the modal logic $\mathsf{S4}$. Whether the finite model property holds for each of these logics have been long-standing open problems. It was recently …

Compiling Metric Temporal Answer Set Programming

2025 · arXiv (Cornell University)

We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challenge is to maintain scalability when dealing with fine-grained timing constraints, …