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 2025Show all

2 papers · 1 filter

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…