David Fernández-Duque

activity

20242026

most citedConstructive S4 modal logics with the finite birelational frame property

1 citations · 1 across the 13 of their papers we have counts for

collaborators

13 papers

math.LO2026

Fine Selection for Intuitionistic Modal Logic

David Fernández-Duque

We extend Fine's selection method to the setting of intuitionistic modal logic and use it to provide a model-theoretic proof that Fischer Servi-style intuitionistic $K4$ has th…

cs.LO2026

Dynamic Polyhedral Logic

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2

We introduce spatio-temporal polyhedral reachability logics, extending dynamic topological logic with polyhedral semantics and a path-based spatial reachability operator. Formulas…

math.LO2026

Completeness and Incompleteness for Expanding Gödel-Löb Logics

Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten +1

Expanding products of modal logics are bimodal logics obtained from the combination of a `horizontal component' logic and a `vertical component' logic, lying between the fusion and…

math.LO2026

Polytopological Semantics for Intuitionistic Modal Logics

Juan P. Aguilera, David Fernández-Duque, Leonardo Pacheco

We develop polytopological semantics for various constructive, intuitionistic, and Gödel--Dummett variations of $K4$ and $S4$ . In our models, intuitionistic and m…

math.LO2026

The Ouroboros Goodstein Principle

David Fernández-Duque, Milan Morreel, Andreas Weiermann

In arXiv:2508.14768, a variant of Goodstein's original process was recently introduced which, given a set $B \subseteq N$ of bases, writes each $n \in N$ in $B$ -norm…

cs.LO2026

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

Pedro Cabalar, Martín Diéguez, David Fernández-Duque +3

The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…

cs.LO2026

The Complexity of the Constructive Master Modality

Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten

We introduce the semantically-defined constructive master-modality logics $C K^{*}$ and $W K^{*}$ , extending the basic constructive modal logic $CK$ and the Wijesekera-style…

cs.LO2026

Common Knowledge Always, Forever

Martín Diéguez, David Fernández-Duque

There has been an increasing interest in topological semantics for epistemic logic, which has been shown to be useful for, e.g., modelling evidence, degrees of belief, and self-ref…

math.LO2025

The fractal Goodstein principle

David Fernández-Duque, Andreas Weiermann

The original Goodstein process is based on writing numbers in hereditary $b$ -exponential normal form: that is, each number $n$ is written in some base $b \geq 2$ as $n = b^{e} a + r$ , with…

cs.LO2025

Tree Rewriting Calculi for Strictly Positive Logics

Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten

We study strictly positive logics in the language $L^{+}$ , which constructs formulas from $⊤$ , propositional variables, conjunction, and diamond modalities. We begin wit…

math.LO2024

A tree rewriting system for the Reflection Calculus

Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque

The $R e f l ec t i o n$ $C a l c u l u s$ ( $RC$ ) is the fragment of the polymodal logic $GLP$ in the language $L^{+}$ whose formulas are built up from $⊤$ …

cs.LO2024

Logics of polyhedral reachability

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2

Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral s…

cs.LO2024★ 1 cited

Constructive S4 modal logics with the finite birelational frame property

Philippe Balbiani, Martín Diéguez, David Fernández-Duque +1

The logics $CS4$ and $IS4$ are the two leading intuitionistic variants of the modal logic $S4$ . Whether the finite model property holds for each of these…