David Fernández-Duque

most citedConstructive S4 modal logics with the finite birelational frame property

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

collaborators

Showing math.LOShow all

5 papers · 1 filter

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…

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