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

Showing math.LOShow all

6 papers · 1 filter

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…

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…

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…

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 $⊤$ …